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