public class TypeConstraint extends KeyedEnumerablePConstraint<IInputKey> implements ITypeConstraint
IInputKey
.
The InputKey must be enumerable!
ITypeConstraint.TypeConstraintUtil
PConstraint.CompareByMonotonousID
Constructor and Description |
---|
TypeConstraint(PBody pBody,
Tuple variablesTuple,
IInputKey inputKey) |
Modifier and Type | Method and Description |
---|---|
TypeJudgement |
getEquivalentJudgement() |
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
getFunctionalDependencies(IQueryMetaContext context)
A (preferably minimal) cover of known functional dependencies between variables.
|
java.util.Set<TypeJudgement> |
getImpliedJudgements(IQueryMetaContext context)
Returns type information implied by this constraint.
|
getSupplierKey
doReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple
checkSanity, delete, getAffectedVariables, getMonotonousID, getPSystem, replaceVariable, toString
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
checkSanity, delete, getAffectedVariables, getDeducedVariables, getMonotonousID, replaceVariable
public TypeJudgement getEquivalentJudgement()
getEquivalentJudgement
in interface ITypeConstraint
public java.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)
ITypeInfoProviderConstraint
getImpliedJudgements
in interface ITypeInfoProviderConstraint
public java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context)
PConstraint
getFunctionalDependencies
in interface PConstraint
getFunctionalDependencies
in class BasePConstraint