public interface _FormulaSet extends java.lang.Iterable<Formula>
Modifier and Type | Method and Description |
---|---|
boolean |
add(Formula wff)
Add the specified formula to this set and returns
true if this
set did not already contain the specified formula. |
void |
addAll(_FormulaSet other)
Add all the formulas in the specified set to this formula set.
|
int |
cardinality()
The number of elements in this set.
|
_FormulaSet |
clone()
Returns a fresh copy of this set.
|
boolean |
contains(Formula swff)
Returns
true if and only if this set contains the specified
formula. |
java.util.Collection<Formula> |
getAllFormulas()
Returns a collection containing all the formulas in this set or
null if this set is empty. |
Formula |
getFirst()
Returns the first formula in this set or
null if this set is
empty. |
boolean |
isEmpty()
Returns
true if and only if this set is empty. |
java.util.Iterator<Formula> |
iterator()
Returns an iterator over the formulas in this set.
|
boolean |
remove(Formula wff)
Returns the specified formula from this set.
|
Formula[] |
toArray()
Returns an array of formulas containing all of the formulas in this set.
|
boolean add(Formula 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(_FormulaSet other)
other
- the set of formulas to add to this set.int cardinality()
_FormulaSet clone()
boolean contains(Formula swff)
true
if and only if this set contains the specified
formula.swff
- the formula to search.true
if and only if this set contains the specified
formula.java.util.Collection<Formula> getAllFormulas()
null
if this set is empty.null
if
this set is empty.Formula getFirst()
null
if this set is
empty.null
if this
set is empty.boolean isEmpty()
true
if and only if this set is empty.true
if and only if this set is empty.java.util.Iterator<Formula> iterator()
iterator
in interface java.lang.Iterable<Formula>
boolean remove(Formula wff)
wff
- the formula to remove.true
if this set contained the specified formula.Formula[] toArray()