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

Packages that use BasePConstraint

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

Uses of BasePConstraint in org.eclipse.incquery.runtime.matchers.psystem

Subclasses of BasePConstraint in org.eclipse.incquery.runtime.matchers.psystem

Modifier and Type	Class and Description
class	DeferredPConstraint Any constraint that can only be checked on certain SubPlans (e.g.
class	EnumerablePConstraint A constraint for which all satisfying tuples of variable values can be enumerated at any point during run-time.
class	KeyedEnumerablePConstraint<KeyType>
class	VariableDeferredPConstraint A kind of deferred constraint that can only be checked when a set of deferring variables are all present in a plan.

Uses of BasePConstraint in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred

Subclasses of BasePConstraint in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred

Modifier and Type	Class and Description
class	BaseTypeSafeConstraint
class	Equality
class	ExportedParameter
class	ExpressionEvaluation
class	Inequality
class	NegativePatternCall
class	PatternCallBasedDeferred
class	PatternMatchCounter
class	TypeFilterConstraint Represents an enumerable type constraint that asserts that values substituted for the given tuple of variables form a tuple that belongs to a (typically non-enumerable) extensional relation identified by an IInputKey.

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

Subclasses of BasePConstraint 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.