abstract static class SuperTermGenerator.SuperTermWithIndexGenerator extends SuperTermGenerator
SuperTermGenerator.SuperTermWithIndexGenerator, SuperTermGenerator.UpwardsIterator
Modifier and Type | Field and Description |
---|---|
private Operator |
binFunc |
private Services |
services |
Modifier | Constructor and Description |
---|---|
protected |
SuperTermWithIndexGenerator(TermFeature cond) |
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<Term> |
generate(RuleApp app,
PosInOccurrence pos,
Goal goal) |
protected Term |
generateOneTerm(Term superterm,
int child) |
createIterator, upwards, upwardsWithIndex
protected SuperTermWithIndexGenerator(TermFeature cond)
public java.util.Iterator<Term> generate(RuleApp app, PosInOccurrence pos, Goal goal)
generate
in interface TermGenerator
generate
in class SuperTermGenerator
protected Term generateOneTerm(Term superterm, int child)
generateOneTerm
in class SuperTermGenerator