Package org.eclipse.viatra.query.runtime.matchers.psystem.rewriters
-
Interface Summary Interface Description IConstraintFilter Helper interface to exclude constraints from PBody copy processesIDerivativeModificationReason This is a role indication interface, implementations may provide a reason about why a modification is made during PQuery normalization.IFlattenCallPredicate Interface used by the PQueryFlattener to decide which positive pattern calls to flattenIPTraceableTraceProvider This interface provides methods to trace thePTraceables of a transformedPQueryproduced by aPDisjunctionRewriter.IRewriterTraceCollector This is the internal API ofIPTraceableTraceProviderexpected to be used by copier and rewriter implementations.IVariableRenamer Helper interface to ease the naming of the new variables during flattening -
Class Summary Class Description AbstractRewriterTraceSource DefaultFlattenCallPredicate IConstraintFilter.AllowAllFilter IConstraintFilter.ExportedParameterFilter IdentityPDisjunctionRewriter The identity element of PDisjunctionRewriter composition.IFlattenCallPredicate.And Flattens only if all operand predicates vote for flattening.IVariableRenamer.HierarchicalName IVariableRenamer.SameName MappingTraceCollector Multimap-based implementation to contain and query tracesNeverFlattenCallPredicate NopTraceCollector This implementation does not store any traces and scales to NOP for every traceability feature.PBodyCopier This class can create a new PBody for a PQuery.PBodyNormalizer A disjunction rewriter for creating a normalized form of specification, unifying variables and running basic sanity checks.PDisjunctionRewriter An abstract base class for creating alternative representations for PDisjunctions.PDisjunctionRewriterCacher A rewriter that stores the previously computed results of a rewriter or a rewriter chain.PQueryFlattener This rewriter class holds the query flattening logicSurrogateQueryRewriter -
Enum Summary Enum Description ConstraintRemovalReason Common reasons for removing constraint through rewriters -
Exception Summary Exception Description RewriterException An exception to wrap various issues during PDisjunction rewriting.