org.eclipse.incquery.runtime.matchers.psystem.basicenumerables

Class BinaryTransitiveClosure

java.lang.Object

org.eclipse.incquery.runtime.matchers.psystem.BasePConstraint

org.eclipse.incquery.runtime.matchers.psystem.EnumerablePConstraint

org.eclipse.incquery.runtime.matchers.psystem.KeyedEnumerablePConstraint<PQuery>

org.eclipse.incquery.runtime.matchers.psystem.basicenumerables.BinaryTransitiveClosure

All Implemented Interfaces:

IQueryReference, PConstraint

public class BinaryTransitiveClosure
extends KeyedEnumerablePConstraint<PQuery>
implements IQueryReference

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

Author:

Gabor Bergmann

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.incquery.runtime.matchers.psystem.PConstraint

PConstraint.CompareByMonotonousID

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
PQuery	getReferredQuery()

Methods inherited from class org.eclipse.incquery.runtime.matchers.psystem.KeyedEnumerablePConstraint

getSupplierKey

Methods inherited from class org.eclipse.incquery.runtime.matchers.psystem.EnumerablePConstraint

doReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple

Methods inherited from class org.eclipse.incquery.runtime.matchers.psystem.BasePConstraint

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BinaryTransitiveClosure

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

Method Detail

getReferredQuery

public PQuery getReferredQuery()

Specified by:

getReferredQuery in interface IQueryReference