public class BinaryTransitiveClosure extends AbstractTransitiveClosure
supplierKey
variablesTuple
pBody
COMPARE_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, getReferredQuery
getSupplierKey, 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
protected java.lang.String keyToString()
keyToString
in class KeyedEnumerablePConstraint<PQuery>