public class BitSetOfModalFormulas extends java.util.BitSet implements _ModalFormulaSet, java.lang.Iterable<ModalFormula>
Constructor and Description |
---|
BitSetOfModalFormulas(ModalFormulaFactory factory) |
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 set) |
void |
addAll(BitSetOfModalFormulas set) |
void |
and(BitSetOfModalFormulas set) |
BitSetOfModalFormulas |
clone() |
boolean |
contains(ModalFormula wff) |
boolean |
containsFormulaOfType(ModalFormulaType type) |
java.util.Collection<ModalFormula> |
getAllFormulas()
Returns the collection containing all the formulas in this set or null if
this set is empty.
|
java.util.Collection<ModalFormula> |
getAllFormulas(ModalFormulaType formulaType)
Returns a collection containing all formulas with the specified formula
type in this set or null if this set does not contain any formulas with the
specified formula type.
|
BitSetOfModalFormulas |
getBitsetOfAllFormulas(ModalFormulaType formulaType)
Returns bitset of all the formulas with the specified formula type in this
set or null if this set does not contain any formulas with the specified
formula type.
|
ModalFormulaFactory |
getFactory() |
ModalFormula |
getFirst() |
ModalFormula |
getFirst(ModalFormulaType type) |
ModalFormula |
getFirstAndRemove()
Returns the first formula in this bitset and removes it from the bitset.
|
ModalFormula |
getFirstAndRemove(ModalFormulaType type)
Returns the first formula with the specified type in this bitset and it
removes such a formula from the bitset.
|
java.util.Iterator<ModalFormula> |
iterator() |
boolean |
remove(ModalFormula wff) |
boolean |
subseteq(BitSetOfModalFormulas other) |
boolean |
superseteq(BitSetOfModalFormulas other) |
ModalFormula[] |
toArray() |
java.lang.String |
toString() |
and, andNot, cardinality, clear, clear, clear, equals, flip, flip, get, get, hashCode, intersects, isEmpty, length, nextClearBit, nextSetBit, or, previousClearBit, previousSetBit, set, set, set, set, size, stream, toByteArray, toLongArray, valueOf, valueOf, valueOf, valueOf, xor
cardinality, isEmpty
public BitSetOfModalFormulas(ModalFormulaFactory factory)
public boolean add(ModalFormula wff)
_ModalFormulaSet
true
if this
set did not already contain the specified formula.add
in interface _ModalFormulaSet
wff
- the formula to be added to this settrue
if this set did not already contain the specified
formulapublic void addAll(_ModalFormulaSet set)
addAll
in interface _ModalFormulaSet
public void addAll(BitSetOfModalFormulas set)
public void and(BitSetOfModalFormulas set)
public BitSetOfModalFormulas clone()
clone
in interface _ModalFormulaSet
clone
in class java.util.BitSet
public boolean contains(ModalFormula wff)
contains
in interface _ModalFormulaSet
public boolean containsFormulaOfType(ModalFormulaType type)
public java.util.Collection<ModalFormula> getAllFormulas()
getAllFormulas
in interface _ModalFormulaSet
public java.util.Collection<ModalFormula> getAllFormulas(ModalFormulaType formulaType)
formulaType
- the type of the formulas to return.public BitSetOfModalFormulas getBitsetOfAllFormulas(ModalFormulaType formulaType)
formulaType
- the type of the formulas to return.public ModalFormula getFirst()
getFirst
in interface _ModalFormulaSet
public ModalFormula getFirstAndRemove()
null
if this bitset is empty.null
.public ModalFormula getFirstAndRemove(ModalFormulaType type)
null
if this bitset does not contain any formula of the
specified type.type
- the type of rhe formula to return.null
.public ModalFormula getFirst(ModalFormulaType type)
public ModalFormulaFactory getFactory()
public java.util.Iterator<ModalFormula> iterator()
iterator
in interface java.lang.Iterable<ModalFormula>
iterator
in interface _ModalFormulaSet
public boolean remove(ModalFormula wff)
remove
in interface _ModalFormulaSet
public ModalFormula[] toArray()
toArray
in interface _ModalFormulaSet
public boolean subseteq(BitSetOfModalFormulas other)
public boolean superseteq(BitSetOfModalFormulas other)
public java.lang.String toString()
toString
in class java.util.BitSet