| 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  
ITypeConstraints. | 
| 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() |