public interface TermGenerator
ForEachCP
Iterator<Term>
generate(RuleApp app, PosInOccurrence pos, Goal goal)
Iterator<Term> generate(RuleApp app, PosInOccurrence pos, Goal goal)