public interface _Sequent extends _AbstractGoal
S ==> T
where
S
and T
are sets of propositional formulas.Modifier and Type | Method and Description |
---|---|
void |
addLeft(java.util.Collection<Formula> formulas) |
void |
addLeft(Formula wff)
Add the specified formula to the left hand side of this sequent.
|
void |
addRight(java.util.Collection<Formula> formulas) |
void |
addRight(Formula wff)
This method add the specified formula in the right hand side of this
sequent.
|
void |
clearLeft() |
void |
clearRight() |
_Sequent |
clone()
Returns a fresh copy of this sequent.
|
boolean |
containsLeft(Formula wff)
Returns
true if this sequent contains the specified formula in
the left hand side and false otherwise. |
boolean |
containsLeft(FormulaType type)
Returns
true if this sequent contains at least a formula of
the specified type in the left-hand side. |
boolean |
containsRight(Formula wff)
Returns
true if this sequent contains the specified formula in
the right hand side and false otherwise. |
boolean |
containsRight(FormulaType type)
Returns
true if this sequent contains at least a formula of
the specified type in the right-hand side. |
Formula |
getLeft(FormulaType formulaType)
Returns a formula of the specified type contained in the left hand side of
the sequent or
null if no formula of the specified type occurs
in this sequent. |
java.util.Collection<Formula> |
getLeftFormulas()
Returns the set containg all the formulas in the left hand side of this
sequent or
null if the left hand side of this sequent is
empty. |
java.util.Collection<Formula> |
getLeftFormulas(FormulaType formulaType)
Returns the collection of all the formulas in the left hand side of this
sequent with the specified type or
null if the left hand side
of this sequent does not contain any formula of the specified type. |
Formula |
getRight(FormulaType formulaType)
Returns the formula in the right hand side of this sequent or
null if the formula in the right hand side does not have the
specified type. |
java.util.Collection<Formula> |
getRightFormulas()
Returns the set containg all the formulas in the right hand side of this
sequent or
null if the right hand side of this sequent is
empty. |
java.util.Collection<Formula> |
getRightFormulas(FormulaType formulaType)
Returns the collection of all the formulas in the right hand side of this
sequent with the specified type or
null if the right hand side
of this sequent does not contain any formula of the specified type. |
boolean |
isEmpty()
Returns
true iff this sequent is empty. |
boolean |
isIdentityAxiom()
Returns
true iff this is an identity axiom, that is a sequent
of the kind S,H ==> H . |
boolean |
isLeftSideEmpty()
Returns
true iff the left-hand side of this sequent is empty. |
boolean |
isRightSideEmpty()
Returns
true iff the right-hand side of this sequent is empty. |
java.util.Iterator<Formula> |
leftSideIterator() |
boolean |
removeLeft(Formula wff)
Removes the specified formula from the left hand side of this sequent, if
it is present.
|
boolean |
removeRight(Formula wff)
Removes the right formula form this sequent.
|
java.util.Iterator<Formula> |
rigtSideIterator() |
void |
stablePart() |
format
java.util.Collection<Formula> getLeftFormulas()
null
if the left hand side of this sequent is
empty.null
.java.util.Collection<Formula> getLeftFormulas(FormulaType formulaType)
null
if the left hand side
of this sequent does not contain any formula of the specified type.formulaType
- the type of the formulas.null
if the left hand side of the sequent does not contain any
formula of the specified type.java.util.Collection<Formula> getRightFormulas()
null
if the right hand side of this sequent is
empty.null
.java.util.Collection<Formula> getRightFormulas(FormulaType formulaType)
null
if the right hand side
of this sequent does not contain any formula of the specified type.formulaType
- the type of the formulas.null
if the left hand side of the sequent does not contain any
formula of the specified type.void addLeft(Formula wff)
wff
- the formula to add.void addRight(Formula wff)
wff
- the formula to add in the right hand side of the sequent.Formula getLeft(FormulaType formulaType)
null
if no formula of the specified type occurs
in this sequent.formulaType
- the type of the formula to be returned.null
.Formula getRight(FormulaType formulaType)
null
if the formula in the right hand side does not have the
specified type.formulaType
- the type of the formula to be returned.null
.boolean removeLeft(Formula wff)
wff
- the formula to remove.true
if this sequent contained the specified element.boolean removeRight(Formula wff)
wff
- the formula to remove.true
if this sequent contained a formula in the
right-hand side.boolean isIdentityAxiom()
true
iff this is an identity axiom, that is a sequent
of the kind S,H ==> H
.true
iff this is an identity axiom.boolean containsLeft(Formula wff)
true
if this sequent contains the specified formula in
the left hand side and false
otherwise.wff
- the formula to searchtrue
if the left hand side of this sequent contains
the specifiedboolean containsRight(Formula wff)
true
if this sequent contains the specified formula in
the right hand side and false
otherwise.wff
- the formula to searchtrue
if the right hand side of this sequent contains
the specifiedboolean containsRight(FormulaType type)
true
if this sequent contains at least a formula of
the specified type in the right-hand side.type
- the type of the formula.true
if this sequent contains at least a formula of
the specified type in the right-hand side.boolean containsLeft(FormulaType type)
true
if this sequent contains at least a formula of
the specified type in the left-hand side.type
- the type of the formula.true
if this sequent contains at least a formula of
the specified type in the left-hand side._Sequent clone()
clone
in interface _AbstractGoal
boolean isLeftSideEmpty()
true
iff the left-hand side of this sequent is empty.true
iff the right-hand side of this sequent is emptyboolean isRightSideEmpty()
true
iff the right-hand side of this sequent is empty.true
iff the right-hand side of this sequent is emptyboolean isEmpty()
true
iff this sequent is empty.true
iff this sequent is emptyvoid stablePart()
void clearLeft()
void clearRight()
void addLeft(java.util.Collection<Formula> formulas)
void addRight(java.util.Collection<Formula> formulas)
java.util.Iterator<Formula> leftSideIterator()
java.util.Iterator<Formula> rigtSideIterator()