Package tools.refinery.interpreter.matchers.psystem.rewriters
package tools.refinery.interpreter.matchers.psystem.rewriters
-
ClassDescriptionCommon reasons for removing constraint through rewritersHelper interface to exclude constraints from PBody copy processesThe identity element of PDisjunctionRewriter composition.This is a role indication interface, implementations may provide a reason about why a modification is made during PQuery normalization.Interface used by the PQueryFlattener to decide which positive pattern calls to flattenFlattens only if all operand predicates vote for flattening.This interface provides methods to trace the
PTraceables of a transformedPQueryproduced by aPDisjunctionRewriter.This is the internal API ofIPTraceableTraceProviderexpected to be used by copier and rewriter implementations.Helper interface to ease the naming of the new variables during flatteningMultimap-based implementation to contain and query tracesThis implementation does not store any traces and scales to NOP for every traceability feature.This class can create a new PBody for a PQuery.A disjunction rewriter for creating a normalized form of specification, unifying variables and running basic sanity checks.An abstract base class for creating alternative representations for PDisjunctions.A rewriter that stores the previously computed results of a rewriter or a rewriter chain.This rewriter class holds the query flattening logicAn exception to wrap various issues during PDisjunction rewriting.