public class LogicTransformer extends Object
| Modifier and Type | Class and Description |
|---|---|
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
InvalidPatternExceptionprotected GroupElement[] splitOr(GroupElement cloned)
protected void fixClonedDeclarations(GroupElement and, Map<String,Class<?>> globals)
protected boolean processTree(GroupElement ce) throws InvalidPatternException
InvalidPatternExceptionCopyright © 2001–2018 JBoss by Red Hat. All rights reserved.