| java.lang.Object
 de.uka.ilkd.key.strategy.termgenerator.SubtermGenerator
| SubtermGenerator | | abstract public class SubtermGenerator implements TermGenerator(Code) | | Term generator that enumerates the subterms or subformulas of a given term.
Similarly to RecSubTermFeature, a term feature can be given
that determines when traversal should be stopped, i.e., when one should not
descend further into a term.
|
| Inner Class :abstract class Iterator implements IteratorOfTerm | |
| Inner Class :class LeftIterator extends Iterator | |
| Inner Class :class RightIterator extends Iterator | |
|
|