An expression evaluator is used to execute arbitrary Java code during pattern matching.
Adds extra methods to the PQuery interface to initialize its contents.
Common superinterface of enumerable and deferred type constraints.
Helper interface to get values from a tuple of variables.
Marker interface for PSystem elements that can be traced.
Any constraint that can only be checked on certain SubPlans (e.g.
A constraint for which all satisfying tuples of variable values can be enumerated at any point during run-time.
Static internal utility class for implementations of
A set of constraints representing a pattern body
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.
A kind of deferred constraint that can only be checked when a set of deferring variables are all present in a plan.