Uses of Class
ListOfSubstitutions

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.