Package tools.refinery.interpreter.matchers.psystem
package tools.refinery.interpreter.matchers.psystem
-
ClassDescriptionAny 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.An expression evaluator is used to execute arbitrary Java code during pattern matching.A
PConstraint
that implements this interface refers to a list of PQueries.Adds extra methods to the PQuery interface to initialize its contents.APConstraint
that implements this interface refers to aPQuery
.Implementations of this interface take an arbitrary number of input relations with their contents and compute the tuples of a single output relation.Common superinterface of enumerable and deferred type constraints.Static internal utility class for implementations ofITypeConstraint
s.Helper interface to get values from a tuple of variables.KeyedEnumerablePConstraint<KeyType>A set of constraints representing a pattern bodyMarker interface for PSystem elements that can be traced.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.