Class BinaryTransitiveClosure

java.lang.Object

tools.refinery.interpreter.matchers.psystem.BasePConstraint

tools.refinery.interpreter.matchers.psystem.EnumerablePConstraint

tools.refinery.interpreter.matchers.psystem.KeyedEnumerablePConstraint<PQuery>

tools.refinery.interpreter.matchers.psystem.basicenumerables.AbstractTransitiveClosure

tools.refinery.interpreter.matchers.psystem.basicenumerables.BinaryTransitiveClosure

All Implemented Interfaces:

IMultiQueryReference, IQueryReference, ITypeInfoProviderConstraint, PConstraint, PTraceable

public class BinaryTransitiveClosure
extends AbstractTransitiveClosure

For a binary base pattern, computes the irreflexive transitive closure (base)+

Field Summary

Fields inherited from class KeyedEnumerablePConstraint

supplierKey

Fields inherited from class EnumerablePConstraint

variablesTuple

Fields inherited from class BasePConstraint

pBody

Fields inherited from interface PConstraint

COMPARE_BY_MONOTONOUS_ID

Constructor Summary

Constructors

Constructor	Description
BinaryTransitiveClosure(PBody pBody, Tuple variablesTuple, PQuery pattern)

Method Summary

Modifier and Type	Method	Description
protected String	keyToString()

Methods inherited from class AbstractTransitiveClosure

getImpliedJudgements, getReferredQuery

Methods inherited from class KeyedEnumerablePConstraint

getSupplierKey, toStringRestRest

Methods inherited from class EnumerablePConstraint

doReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRest

Methods inherited from class BasePConstraint

checkSanity, delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface IQueryReference

getReferredQueries

Methods inherited from interface PConstraint

checkSanity, delete, getAffectedVariables, getBody, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariable

Constructor Details

BinaryTransitiveClosure

public BinaryTransitiveClosure(PBody pBody,
 Tuple variablesTuple,
 PQuery pattern)

Method Details

keyToString

protected String keyToString()

Specified by:

keyToString in class KeyedEnumerablePConstraint<PQuery>