jtabwbx.prop.formula

Class BitSetOfFormulas

java.lang.Object

java.util.BitSet

jtabwbx.prop.formula.BitSetOfFormulas

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Formula>, _FormulaSet

public class BitSetOfFormulas
extends java.util.BitSet
implements _FormulaSet, java.lang.Iterable<Formula>

Sets of formulas implemented over bitsets.

Author:

Mauro Ferrari

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
BitSetOfFormulas(FormulaFactory factory)

Method Summary

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 set) Add all the formulas in the specified set to this formula set.
void	addAll(BitSetOfFormulas set)
void	and(BitSetOfFormulas set)
BitSetOfFormulas	clone() Returns a fresh copy of this set.
boolean	contains(Formula wff) Returns true if and only if this set contains the specified formula.
boolean	containsFormulaOfType(FormulaType type)
java.util.Collection<Formula>	getAllFormulas() Returns the collection containing all the formulas in this set or null if this set is empty.
java.util.Collection<Formula>	getAllFormulas(FormulaType 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.
BitSetOfFormulas	getBitsetOfAllFormulas(FormulaType 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.
FormulaFactory	getFactory()
Formula	getFirst() Returns the first formula in this set or null if this set is empty.
Formula	getFirst(FormulaType type)
Formula	getFirstAndRemove() Returns the first formula of this bitset and remove it from the bitset.
Formula	getFirstAndRemove(FormulaType type) Returns the first formula with the specified type of this bitset and remove it from the bitset.
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.
boolean	subseteq(BitSetOfFormulas other)
boolean	superseteq(BitSetOfFormulas other)
Formula[]	toArray() Returns an array of formulas containing all of the formulas in this set.
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.prop.formula._FormulaSet

cardinality, isEmpty

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

BitSetOfFormulas

public BitSetOfFormulas(FormulaFactory factory)

Method Detail

add

public boolean add(Formula wff)

Description copied from interface: _FormulaSet

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 _FormulaSet

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

Description copied from interface: _FormulaSet

Add all the formulas in the specified set to this formula set.

Specified by:

addAll in interface _FormulaSet

Parameters:

set - the set of formulas to add to this set.

addAll

public void addAll(BitSetOfFormulas set)

and

public void and(BitSetOfFormulas set)

clone

public BitSetOfFormulas clone()

Description copied from interface: _FormulaSet

Returns a fresh copy of this set.

Specified by:

clone in interface _FormulaSet

Overrides:

clone in class java.util.BitSet

Returns:

a fresh copy of this set.

contains

public boolean contains(Formula wff)

Description copied from interface: _FormulaSet

Returns true if and only if this set contains the specified formula.

Specified by:

contains in interface _FormulaSet

Parameters:

wff - the formula to search.

Returns:

true if and only if this set contains the specified formula.

containsFormulaOfType

public boolean containsFormulaOfType(FormulaType type)

getAllFormulas

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

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

Specified by:

getAllFormulas in interface _FormulaSet

Returns:

the collection storing all the formulas in this set.

getAllFormulas

public java.util.Collection<Formula> getAllFormulas(FormulaType 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 of all the formulas in this set with the specfied type or null if no formula with the specified type belong to this set.

getBitsetOfAllFormulas

public BitSetOfFormulas getBitsetOfAllFormulas(FormulaType 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 of all the formulas in this set with the specified type or null if this set does not contain formulas with the specified type.

getFirst

public Formula getFirst()

Description copied from interface: _FormulaSet

Returns the first formula in this set or null if this set is empty.

Specified by:

getFirst in interface _FormulaSet

Returns:

Returns the first formula in this set or null if this set is empty.

getFirstAndRemove

public Formula getFirstAndRemove()

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

Returns:

the first formula in this bitset or null if this bitset is empty.

getFirstAndRemove

public Formula getFirstAndRemove(FormulaType type)

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

Parameters:

type - the type of the formula to return.

Returns:

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

getFirst

public Formula getFirst(FormulaType type)

getFactory

public FormulaFactory getFactory()

iterator

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

Description copied from interface: _FormulaSet

Returns an iterator over the formulas in this set.

Specified by:

iterator in interface java.lang.Iterable<Formula>

Specified by:

iterator in interface _FormulaSet

Returns:

an iterator over the formulas in this set.

remove

public boolean remove(Formula wff)

Description copied from interface: _FormulaSet

Returns the specified formula from this set.

Specified by:

remove in interface _FormulaSet

Parameters:

wff - the formula to remove.

Returns:

true if this set contained the specified formula.

toArray

public Formula[] toArray()

Description copied from interface: _FormulaSet

Returns an array of formulas containing all of the formulas in this set.

Specified by:

toArray in interface _FormulaSet

Returns:

an array of formulas containing all of the formulas in this set.

subseteq

public boolean subseteq(BitSetOfFormulas other)

superseteq

public boolean superseteq(BitSetOfFormulas other)

toString

public java.lang.String toString()

Overrides:

toString in class java.util.BitSet