Class AbstractTransitiveClosure

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

All Implemented Interfaces:

IMultiQueryReference, IQueryReference, ITypeInfoProviderConstraint, PConstraint, PTraceable

Direct Known Subclasses:

BinaryReflexiveTransitiveClosure, BinaryTransitiveClosure

public abstract class AbstractTransitiveClosure
extends KeyedEnumerablePConstraint<PQuery>
implements IQueryReference, ITypeInfoProviderConstraint

Since:

2.0

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
AbstractTransitiveClosure(PBody pBody, Tuple variablesTuple, PQuery supplierKey)

Method Summary

Modifier and Type	Method	Description
Set<TypeJudgement>	getImpliedJudgements(IQueryMetaContext context)	Returns type information implied by this constraint.
PQuery	getReferredQuery()

Methods inherited from class KeyedEnumerablePConstraint

getSupplierKey, keyToString, 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

AbstractTransitiveClosure

public AbstractTransitiveClosure(PBody pBody,
 Tuple variablesTuple,
 PQuery supplierKey)

Method Details

getReferredQuery

public PQuery getReferredQuery()

Specified by:

getReferredQuery in interface IQueryReference

getImpliedJudgements

public Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)

Description copied from interface: ITypeInfoProviderConstraint

Returns type information implied by this constraint.

Specified by:

getImpliedJudgements in interface ITypeInfoProviderConstraint

Since:

1.3