public class LogicTransformer extends Object
Modifier and Type | Class and Description |
---|---|
static class |
LogicTransformer.NotOrTransformation
(Not (OR (A B) )
Not
|
or
/ \
a b
(And ( Not (a) Not (b)) )
And
/ \
Not Not
| |
a b
|
Modifier | Constructor and Description |
---|---|
protected |
LogicTransformer() |
Modifier and Type | Method and Description |
---|---|
protected void |
fixClonedDeclarations(GroupElement and,
Map<String,Class<?>> globals)
During the logic transformation, we eventually clone CEs,
specially patterns and corresponding declarations.
|
static LogicTransformer |
getInstance() |
protected boolean |
processTree(GroupElement ce) |
protected GroupElement[] |
splitOr(GroupElement cloned) |
static int[] |
toIntArray(List<Integer> list) |
GroupElement[] |
transform(GroupElement cloned,
Map<String,Class<?>> globals) |
public static LogicTransformer getInstance()
public GroupElement[] transform(GroupElement cloned, Map<String,Class<?>> globals) throws InvalidPatternException
InvalidPatternException
protected GroupElement[] splitOr(GroupElement cloned)
protected void fixClonedDeclarations(GroupElement and, Map<String,Class<?>> globals)
protected boolean processTree(GroupElement ce) throws InvalidPatternException
InvalidPatternException
Copyright © 2001–2018 JBoss by Red Hat. All rights reserved.