public interface _ModalFormulaSet extends java.lang.Iterable<ModalFormula>
Modifier and Type | Method and Description |
---|---|
boolean |
add(ModalFormula wff)
Add the specified formula to this set and returns
true if this
set did not already contain the specified formula. |
void |
addAll(_ModalFormulaSet other) |
int |
cardinality() |
_ModalFormulaSet |
clone() |
boolean |
contains(ModalFormula swff) |
java.util.Collection<ModalFormula> |
getAllFormulas() |
ModalFormula |
getFirst() |
boolean |
isEmpty() |
java.util.Iterator<ModalFormula> |
iterator() |
boolean |
remove(ModalFormula wff) |
ModalFormula[] |
toArray() |
boolean add(ModalFormula wff)
true
if this
set did not already contain the specified formula.wff
- the formula to be added to this settrue
if this set did not already contain the specified
formulavoid addAll(_ModalFormulaSet other)
int cardinality()
_ModalFormulaSet clone()
boolean contains(ModalFormula swff)
java.util.Collection<ModalFormula> getAllFormulas()
ModalFormula getFirst()
boolean isEmpty()
java.util.Iterator<ModalFormula> iterator()
iterator
in interface java.lang.Iterable<ModalFormula>
boolean remove(ModalFormula wff)
ModalFormula[] toArray()