Package | Description |
---|---|
org.eclipse.incquery.runtime.matchers.psystem.rewriters |
Modifier and Type | Class and Description |
---|---|
static class |
IVariableRenamer.HierarchicalName |
static class |
IVariableRenamer.SameName |
Modifier and Type | Method and Description |
---|---|
void |
PBodyCopier.mergeBody(PBody sourceBody,
IVariableRenamer namingTool,
IConstraintFilter filter)
Merge all variables and constraints from a source body to a target body.
|