public class BinaryTransitiveClosure extends AbstractTransitiveClosure
supplierKeyvariablesTuplepBodyCOMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
BinaryTransitiveClosure(PBody pBody,
Tuple variablesTuple,
PQuery pattern) |
| Modifier and Type | Method and Description |
|---|---|
protected java.lang.String |
keyToString() |
getImpliedJudgements, getReferredQuerygetSupplierKey, 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, replaceVariableprotected java.lang.String keyToString()
keyToString in class KeyedEnumerablePConstraint<PQuery>