| java.lang.Object
 de.uka.ilkd.key.logic.Visitor
de.uka.ilkd.key.logic.CollisionDeletingSubstitutionTermApplier
| CollisionDeletingSubstitutionTermApplier | | public class CollisionDeletingSubstitutionTermApplier extends Visitor (Code) | | visitor for execPostOrder of
de.uka.ilkd.key.logic.Term . Called with that method
on a term, the visitor evaluates all contained substitution terms
by applying a
suitable substitution. Occuring collisions are adequately handled.
REMARK: The current implementation is not very efficient. This
seems to be (at the moment)
not so important, because the operation this class implements will
rarely occur !
|
| CollisionDeletingSubstitutionTermApplier | | public CollisionDeletingSubstitutionTermApplier()(Code) | | |
| getTerm | | public Term getTerm()(Code) | | delivers the new built term
|
| reset | | public void reset()(Code) | | resets (internal) state of the visitor.
|
|
|