org.eclipse.incquery.runtime.matchers.psystem

Class TypeJudgement

java.lang.Object

org.eclipse.incquery.runtime.matchers.psystem.TypeJudgement

public class TypeJudgement
extends java.lang.Object

A judgement that means that the given tuple of variables will represent a tuple of values that is a member of the extensional relation identified by the given input key.

Author:

Bergmann Gabor

Constructor Summary

Constructors

Constructor and Description
TypeJudgement(IInputKey inputKey, Tuple variablesTuple)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
java.util.Set<TypeJudgement>	getDirectlyImpliedJudgements(IQueryMetaContext context)
IInputKey	getInputKey()
Tuple	getVariablesTuple()
int	hashCode()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeJudgement

public TypeJudgement(IInputKey inputKey,
                     Tuple variablesTuple)

Parameters:

inputKey -

variablesTuple -

Method Detail

getInputKey

public IInputKey getInputKey()

getVariablesTuple

public Tuple getVariablesTuple()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getDirectlyImpliedJudgements

public java.util.Set<TypeJudgement> getDirectlyImpliedJudgements(IQueryMetaContext context)