public class BinaryReflexiveTransitiveClosure extends AbstractTransitiveClosure
supplierKey
variablesTuple
pBody
COMPARE_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, getReferredQuery
getSupplierKey, toStringRestRest
doReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRest
delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getReferredQueries
delete, getAffectedVariables, getBody, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariable
protected java.lang.String keyToString()
keyToString
in class KeyedEnumerablePConstraint<PQuery>
public IInputKey getUniverseType()
public void checkSanity()
checkSanity
in interface PConstraint
checkSanity
in class BasePConstraint