jtabwbx.prop.formula

Class FormulaSetOnHashSet

java.lang.Object

jtabwbx.prop.formula.FormulaSetOnHashSet

All Implemented Interfaces:

java.lang.Iterable<Formula>, _FormulaSet

public class FormulaSetOnHashSet
extends java.lang.Object
implements java.lang.Iterable<Formula>, _FormulaSet

Set of signed formulas implemented over HashSet.

Author:

Mauro Ferrari

Constructor Summary

Constructors

Constructor and Description
FormulaSetOnHashSet() Builds an empty set of signed formulas.

Method Summary

Modifier and Type	Method and Description
boolean	add(Formula swff) 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.
FormulaSetOnHashSet	clone() Returns a fresh copy of this set.
boolean	contains(Formula swff) Returns true if and only if this set contains the specified formula.
boolean	equals(java.lang.Object obj)
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.
java.lang.String	toString()

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

FormulaSetOnHashSet

public FormulaSetOnHashSet()

Builds an empty set of signed formulas.

Method Detail

add

public boolean add(Formula swff)

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:

swff - the formula to be added to this set

Returns:

true if this set did not already contain the specified formula

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.

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.

getAllFormulas

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

Description copied from interface: _FormulaSet

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

Specified by:

getAllFormulas in interface _FormulaSet

Returns:

the collection of the formula in this set or null if this set is empty.

cardinality

public int cardinality()

Description copied from interface: _FormulaSet

The number of elements in this set.

Specified by:

cardinality in interface _FormulaSet

Returns:

the number of elements in this set.

isEmpty

public boolean isEmpty()

Description copied from interface: _FormulaSet

Returns true if and only if this set is empty.

Specified by:

isEmpty in interface _FormulaSet

Returns:

true if and only if this set is empty.

contains

public boolean contains(Formula swff)

Description copied from interface: _FormulaSet

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

Specified by:

contains in interface _FormulaSet

Parameters:

swff - the formula to search.

Returns:

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

addAll

public void addAll(_FormulaSet other)

Description copied from interface: _FormulaSet

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

Specified by:

addAll in interface _FormulaSet

Parameters:

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

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.

clone

public FormulaSetOnHashSet clone()

Description copied from interface: _FormulaSet

Returns a fresh copy of this set.

Specified by:

clone in interface _FormulaSet

Overrides:

clone in class java.lang.Object

Returns:

a fresh copy of this set.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

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.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object