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.

Constructors
Constructor and Description
`TypeJudgement(IInputKey inputKey, Tuple variablesTuple)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`PConstraint`	`createConstraintFor(PBody pBody)` Creates this judgement as a direct type constraint in the given PBody under construction.
`boolean`	`equals(java.lang.Object obj)`
`com.google.common.collect.SetMultimap<TypeJudgement,TypeJudgement>`	`getConditionalImpliedJudgements(IQueryMetaContext context)`
`java.util.Set<TypeJudgement>`	`getDirectlyImpliedJudgements(IQueryMetaContext context)`
`IInputKey`	`getInputKey()`
`Tuple`	`getVariablesTuple()`
`java.util.Set<TypeJudgement>`	`getWeakenedAlternativeJudgements(IQueryMetaContext context)`
`int`	`hashCode()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

public TypeJudgement(IInputKey inputKey,
                     Tuple variablesTuple)

public boolean equals(java.lang.Object obj)

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

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

public com.google.common.collect.SetMultimap<TypeJudgement,TypeJudgement> getConditionalImpliedJudgements(IQueryMetaContext context)

Class TypeJudgement