|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ListOfSubstitutions | |
Default Package |
Uses of ListOfSubstitutions in |
Methods in Default Package that return ListOfSubstitutions | |
ListOfSubstitutions |
BoolRewriter.rewrite()
Ersetzt im Baum bExprNode den Identifier vNode durch den Ausdruck exprNode. |
Constructors in Default Package with parameters of type ListOfSubstitutions | |
BoolRewriter(SimpleNode condition,
ListOfSubstitutions theta)
Erzeugt einen BoolRewriter für einen booleschen Ausdruck. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |