public class BinaryReflexiveTransitiveClosure extends AbstractTransitiveClosure
supplierKeyvariablesTuplepBodyCOMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
BinaryReflexiveTransitiveClosure(PBody pBody,
Tuple variablesTuple,
PQuery pattern,
IInputKey universeType) |
| Modifier and Type | Method and Description |
|---|---|
void |
checkSanity() |
IInputKey |
getUniverseType()
Returns the type whose instances should be returned as 0-long paths.
|
protected java.lang.String |
keyToString() |
getImpliedJudgements, getReferredQuerygetSupplierKey, toStringRestRestdoReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRestdelete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetReferredQueriesdelete, getAffectedVariables, getBody, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariableprotected java.lang.String keyToString()
keyToString in class KeyedEnumerablePConstraint<PQuery>public IInputKey getUniverseType()
public void checkSanity()
checkSanity in interface PConstraintcheckSanity in class BasePConstraint