public abstract class SequentFormulasGenerator extends java.lang.Object implements TermGenerator
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
Copyright © 2003-2019 The KeY-Project.