Interface | Description |
---|---|
IExpressionEvaluator |
An expression evaluator is used to execute arbitrary Java code during pattern matching.
|
InitializablePQuery |
Adds extra methods to the PQuery interface to initialize its contents.
|
IQueryReference | |
ITypeConstraint |
Common superinterface of enumerable and deferred type constraints.
|
ITypeInfoProviderConstraint | |
IValueProvider |
Helper interface to get values from a tuple of variables.
|
PConstraint |
Class | Description |
---|---|
BasePConstraint | |
DeferredPConstraint |
Any constraint that can only be checked on certain SubPlans (e.g.
|
EnumerablePConstraint |
A constraint for which all satisfying tuples of variable values can be enumerated at any point during run-time.
|
ITypeConstraint.TypeConstraintUtil |
Static internal utility class for implementations of
ITypeConstraint s. |
KeyedEnumerablePConstraint<KeyType> | |
PBody |
A set of constraints representing a pattern body
|
PVariable | |
TypeJudgement |
A judgement that means that the given tuple of variables will represent a tuple of values that is a member of the extensional relation identified by the given input key.
|
VariableDeferredPConstraint |
A kind of deferred constraint that can only be checked when a set of deferring variables are all present in a plan.
|
Enum | Description |
---|---|
PConstraint.CompareByMonotonousID |
Compares by
PConstraint.getMonotonousID() |