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)
During the logic transformation, we eventually clone CEs,
specially patterns and corresponding declarations.
|
static LogicTransformer |
getInstance() |
protected void |
processTree(GroupElement ce)
Traverses a Tree, during the process it transforms Or nodes moving the
upwards and it removes duplicate logic statement, this does not include
Not nodes.
|
protected GroupElement[] |
splitOr(GroupElement cloned) |
GroupElement[] |
transform(GroupElement cloned) |
public static LogicTransformer getInstance()
public GroupElement[] transform(GroupElement cloned) throws InvalidPatternException
InvalidPatternException
protected GroupElement[] splitOr(GroupElement cloned)
protected void fixClonedDeclarations(GroupElement and)
and
- protected void processTree(GroupElement ce) throws InvalidPatternException
ce
- InvalidPatternException
Copyright © 2001-2015 JBoss by Red Hat. All Rights Reserved.