jtabwbx.modal.formula

Class BitSetOfModalFormulas

java.lang.Object

java.util.BitSet

jtabwbx.modal.formula.BitSetOfModalFormulas

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<ModalFormula>, _ModalFormulaSet

public class BitSetOfModalFormulas
extends java.util.BitSet
implements _ModalFormulaSet, java.lang.Iterable<ModalFormula>

Sets of modal formulas implemented over bitsets.

Author:

Mauro Ferrari

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
BitSetOfModalFormulas(ModalFormulaFactory factory)

Method Summary

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()

Methods inherited from class java.util.BitSet

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface jtabwbx.modal.basic._ModalFormulaSet

cardinality, isEmpty

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

BitSetOfModalFormulas

public BitSetOfModalFormulas(ModalFormulaFactory factory)

Method Detail

add

public boolean add(ModalFormula wff)

Description copied from interface: _ModalFormulaSet

Add the specified formula to this set and returns true if this set did not already contain the specified formula.

Specified by:

add in interface _ModalFormulaSet

Parameters:

wff - the formula to be added to this set

Returns:

true if this set did not already contain the specified formula

addAll

public void addAll(_ModalFormulaSet set)

Specified by:

addAll in interface _ModalFormulaSet

addAll

public void addAll(BitSetOfModalFormulas set)

and

public void and(BitSetOfModalFormulas set)

clone

public BitSetOfModalFormulas clone()

Specified by:

clone in interface _ModalFormulaSet

Overrides:

clone in class java.util.BitSet

contains

public boolean contains(ModalFormula wff)

Specified by:

contains in interface _ModalFormulaSet

containsFormulaOfType

public boolean containsFormulaOfType(ModalFormulaType type)

getAllFormulas

public java.util.Collection<ModalFormula> getAllFormulas()

Returns the collection containing all the formulas in this set or null if this set is empty.

Specified by:

getAllFormulas in interface _ModalFormulaSet

Returns:

the collection storing all the formulas in this set.

getAllFormulas

public 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.

Parameters:

formulaType - the type of the formulas to return.

Returns:

the collection storing all the formulas in this set having the specified type.

getBitsetOfAllFormulas

public 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.

Parameters:

formulaType - the type of the formulas to return.

Returns:

the bitset storing all the formulas in this set having the specified type.

getFirst

public ModalFormula getFirst()

Specified by:

getFirst in interface _ModalFormulaSet

getFirstAndRemove

public ModalFormula getFirstAndRemove()

Returns the first formula in this bitset and removes it from the bitset. The method returns null if this bitset is empty.

Returns:

the first formula in this bitset or null.

getFirstAndRemove

public ModalFormula getFirstAndRemove(ModalFormulaType type)

Returns the first formula with the specified type in this bitset and it removes such a formula from the bitset. The method returns null if this bitset does not contain any formula of the specified type.

Parameters:

type - the type of rhe formula to return.

Returns:

the first formula in this bitset with the specified type or null.

getFirst

public ModalFormula getFirst(ModalFormulaType type)

getFactory

public ModalFormulaFactory getFactory()

iterator

public java.util.Iterator<ModalFormula> iterator()

Specified by:

iterator in interface java.lang.Iterable<ModalFormula>

Specified by:

iterator in interface _ModalFormulaSet

remove

public boolean remove(ModalFormula wff)

Specified by:

remove in interface _ModalFormulaSet

toArray

public ModalFormula[] toArray()

Specified by:

toArray in interface _ModalFormulaSet

subseteq

public boolean subseteq(BitSetOfModalFormulas other)

superseteq

public boolean superseteq(BitSetOfModalFormulas other)

toString

public java.lang.String toString()

Overrides:

toString in class java.util.BitSet