Uses of Class
org.eclipse.incquery.runtime.matchers.psystem.KeyedEnumerablePConstraint

Packages that use KeyedEnumerablePConstraint

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

Uses of KeyedEnumerablePConstraint in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables

Subclasses of KeyedEnumerablePConstraint in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables

Modifier and Type	Class and Description
class	BinaryTransitiveClosure For a binary base pattern, computes the irreflexive transitive closure (base)+
class	ConstantValue
class	PositivePatternCall
class	TypeConstraint Represents an enumerable type constraint that asserts that values substituted for the given tuple of variables form a tuple that belongs to an enumerable extensional relation identified by an IInputKey.