public abstract class AbstractTransitiveClosure extends KeyedEnumerablePConstraint<PQuery> implements IQueryReference, ITypeInfoProviderConstraint
supplierKey
variablesTuple
pBody
COMPARE_BY_MONOTONOUS_ID
Constructor and Description |
---|
AbstractTransitiveClosure(PBody pBody,
Tuple variablesTuple,
PQuery supplierKey) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<TypeJudgement> |
getImpliedJudgements(IQueryMetaContext context)
Returns type information implied by this constraint.
|
PQuery |
getReferredQuery() |
getSupplierKey, keyToString, toStringRestRest
doReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRest
checkSanity, delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getReferredQueries
checkSanity, delete, getAffectedVariables, getBody, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariable
public PQuery getReferredQuery()
getReferredQuery
in interface IQueryReference
public java.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)
ITypeInfoProviderConstraint
getImpliedJudgements
in interface ITypeInfoProviderConstraint