public abstract class AbstractTransitiveClosure extends KeyedEnumerablePConstraint<PQuery> implements IQueryReference, ITypeInfoProviderConstraint
supplierKeyvariablesTuplepBodyCOMPARE_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, toStringRestRestdoReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRestcheckSanity, delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetReferredQueriescheckSanity, delete, getAffectedVariables, getBody, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariablepublic PQuery getReferredQuery()
getReferredQuery in interface IQueryReferencepublic java.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)
ITypeInfoProviderConstraintgetImpliedJudgements in interface ITypeInfoProviderConstraint