de.uka.ilkd.key.strategy.termgenerator

Interface TermGenerator

All Known Implementing Classes:

AllowedCutPositionsGenerator, CutHeapObjectsTermGenerator, HeapGenerator, HeuristicInstantiation, MultiplesModEquationsGenerator, RootsGenerator, SequentFormulasGenerator, SubtermGenerator, SuperTermGenerator, SuperTermGenerator.SuperTermWithIndexGenerator, TriggeredInstantiations

public interface TermGenerator

Interface for objects that generate lists/sequences of terms or formulas. This interface is used in the feature ForEachCP in order to instantiate schema variables with different terms/formulas.

Method Summary

Modifier and Type	Method and Description
java.util.Iterator<Term>	generate(RuleApp app, PosInOccurrence pos, Goal goal)

Method Detail

generate

java.util.Iterator<Term> generate(RuleApp app,
                                  PosInOccurrence pos,
                                  Goal goal)