Package tools.refinery.interpreter.matchers.psystem.basicenumerables

Class BinaryReflexiveTransitiveClosure

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.BinaryReflexiveTransitiveClosure

All Implemented Interfaces:

IMultiQueryReference, IQueryReference, ITypeInfoProviderConstraint, PConstraint, PTraceable

public class BinaryReflexiveTransitiveClosure
extends AbstractTransitiveClosure

For a binary base pattern over an enumerable universe type, computes the reflexive transitive closure (base)*

Since:

2.0

Field Summary

Fields inherited from class tools.refinery.interpreter.matchers.psystem.KeyedEnumerablePConstraint

supplierKey

Fields inherited from class tools.refinery.interpreter.matchers.psystem.EnumerablePConstraint

variablesTuple

Fields inherited from class tools.refinery.interpreter.matchers.psystem.BasePConstraint

pBody

Fields inherited from interface tools.refinery.interpreter.matchers.psystem.PConstraint

COMPARE_BY_MONOTONOUS_ID

Constructor Summary

Constructors

Constructor	Description
BinaryReflexiveTransitiveClosure(PBody pBody, Tuple variablesTuple, PQuery pattern, IInputKey universeType)

Method Summary

Modifier and Type	Method	Description
void	checkSanity()
IInputKey	getUniverseType()	Returns the type whose instances should be returned as 0-long paths.
protected String	keyToString()

Methods inherited from class tools.refinery.interpreter.matchers.psystem.basicenumerables.AbstractTransitiveClosure

getImpliedJudgements, getReferredQuery

Methods inherited from class tools.refinery.interpreter.matchers.psystem.KeyedEnumerablePConstraint

getSupplierKey, toStringRestRest

Methods inherited from class tools.refinery.interpreter.matchers.psystem.EnumerablePConstraint

doReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRest

Methods inherited from class tools.refinery.interpreter.matchers.psystem.BasePConstraint

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.interpreter.matchers.psystem.IQueryReference

getReferredQueries

Methods inherited from interface tools.refinery.interpreter.matchers.psystem.PConstraint

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

Constructor Details

BinaryReflexiveTransitiveClosure

public BinaryReflexiveTransitiveClosure(PBody pBody,
 Tuple variablesTuple,
 PQuery pattern,
 IInputKey universeType)

Method Details

keyToString

protected String keyToString()

Specified by:

keyToString in class KeyedEnumerablePConstraint<PQuery>

getUniverseType

public IInputKey getUniverseType()

Returns the type whose instances should be returned as 0-long paths.

Since:

2.0

checkSanity

public void checkSanity()

Specified by:

checkSanity in interface PConstraint

Overrides:

checkSanity in class BasePConstraint