static class Sequent.NILSequent extends Sequent
Sequent.NILSequent, Sequent.SequentIterator
EMPTY_SEQUENT
Constructor and Description |
---|
NILSequent() |
Modifier and Type | Method and Description |
---|---|
boolean |
isEmpty()
determines if the sequent is empty.
|
java.util.Iterator<SequentFormula> |
iterator()
returns iterator about all ConstrainedFormulae of the sequent
|
boolean |
varIsBound(QuantifiableVariable v)
returns true iff the given variable is bound in a formula of a
SequentFormula in this sequent.
|
addFormula, addFormula, addFormula, addFormula, antecedent, changeFormula, changeFormula, contains, createAnteSequent, createSequent, createSuccSequent, equals, formulaNumberInSequent, getFormulabyNr, getOccuringTermLabels, hashCode, numberInAntec, removeFormula, size, succedent, toString
public boolean isEmpty()
Sequent
public java.util.Iterator<SequentFormula> iterator()
Sequent
iterator
in interface java.lang.Iterable<SequentFormula>
iterator
in class Sequent
public boolean varIsBound(QuantifiableVariable v)
Sequent
varIsBound
in class Sequent
v
- the bound variable to search for