org.eclipse.viatra.query.runtime.matchers.psystem.rewriters

Interfaces

• IConstraintFilter
• IDerivativeModificationReason
• IFlattenCallPredicate
• IPTraceableTraceProvider
• IRewriterTraceCollector
• IVariableRenamer

Classes

• AbstractRewriterTraceSource
• DefaultFlattenCallPredicate
• IConstraintFilter.AllowAllFilter
• IConstraintFilter.ExportedParameterFilter
• IVariableRenamer.HierarchicalName
• IVariableRenamer.SameName
• MappingTraceCollector
• NeverFlattenCallPredicate
• NopTraceCollector
• PBodyCopier
• PBodyNormalizer
• PDisjunctionRewriter
• PDisjunctionRewriterCacher
• PQueryFlattener
• SurrogateQueryRewriter

Enums

• ConstraintRemovalReason

Exceptions

• RewriterException