public interface TermGenerator
ForEachCP
in order to
instantiate schema variables with different terms/formulas.Modifier and Type | Method and Description |
---|---|
java.util.Iterator<Term> |
generate(RuleApp app,
PosInOccurrence pos,
Goal goal) |
java.util.Iterator<Term> generate(RuleApp app, PosInOccurrence pos, Goal goal)