| Package | Description |
|---|---|
| org.eclipse.incquery.runtime.localsearch.planner | |
| org.eclipse.incquery.runtime.matchers.psystem.rewriters |
| Class and Description |
|---|
| PBodyNormalizer
A disjunction rewriter for creating a normalized form of specification, unifying variables and running basic sanity
checks.
|
| PQueryFlattener
This rewriter class holds the query flattening logic
|
| Class and Description |
|---|
| IConstraintFilter
Helper interface to exclude constraints from PBody copy processes
|
| IFlattenCallPredicate
Interface used by the PQueryFlattener to decide which pattern calls to flatten
|
| IVariableRenamer
Helper interface to ease the naming of the new variables during flattening
|
| PBodyCopier
This class can create a new PBody for a PQuery.
|
| PDisjunctionRewriter
An abstract base class for creating alternative representations for PDisjunctions.
|
| RewriterException
An exception to wrap various issues during PDisjunction rewriting.
|