public abstract class SequentFormulasGenerator extends java.lang.Object implements TermGenerator
Modifier and Type | Class and Description |
---|---|
private static class |
SequentFormulasGenerator.SFIterator |
Modifier | Constructor and Description |
---|---|
protected |
SequentFormulasGenerator() |
Modifier and Type | Method and Description |
---|---|
static SequentFormulasGenerator |
antecedent() |
java.util.Iterator<Term> |
generate(RuleApp app,
PosInOccurrence pos,
Goal goal) |
protected abstract java.util.Iterator<SequentFormula> |
generateForIt(Goal goal) |
static SequentFormulasGenerator |
sequent() |
static SequentFormulasGenerator |
succedent() |
public static SequentFormulasGenerator antecedent()
public static SequentFormulasGenerator succedent()
public static SequentFormulasGenerator sequent()
protected abstract java.util.Iterator<SequentFormula> generateForIt(Goal goal)
public java.util.Iterator<Term> generate(RuleApp app, PosInOccurrence pos, Goal goal)
generate
in interface TermGenerator