|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectBoolRewriter
Ein BoolRewriter schreibt einen booleschen Ausdruck der Form "id(~V) == _E ==> _B" so um, dass der Identifier "~V" im Ausdruck "_B" durch "_E" ersetzt wird.
Constructor Summary | |
BoolRewriter(SimpleNode condition,
ListOfSubstitutions theta)
Erzeugt einen BoolRewriter für einen booleschen Ausdruck. |
Method Summary | |
SimpleNode |
isDefined(SimpleNode node)
Prüft, unter welchen Bedingungen ein algebraischer Ausdruck wohldefiniert ist. |
ListOfSubstitutions |
rewrite()
Ersetzt im Baum bExprNode den Identifier vNode durch den Ausdruck exprNode. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public BoolRewriter(SimpleNode condition, ListOfSubstitutions theta)
condition
- Umzuschreibender boolescher Ausdruck.theta
- Liste der beim Unifizieren erzeugten Substitutionen.Method Detail |
public ListOfSubstitutions rewrite()
SimpleNode.notOccur(String nodeName)
public SimpleNode isDefined(SimpleNode node)
node
- Zu prüfender algebraischer Ausdruck.
|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |