jtabwbx.prop.formula

Class FormulaSetOnList

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.AbstractSequentialList<E>

java.util.LinkedList<Formula>

jtabwbx.prop.formula.FormulaSetOnList

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Formula>, java.util.Collection<Formula>, java.util.Deque<Formula>, java.util.List<Formula>, java.util.Queue<Formula>, _FormulaSet

public class FormulaSetOnList
extends java.util.LinkedList<Formula>
implements _FormulaSet

Set of signed formulas implemented over LinkedList.

Author:

Mauro Ferrari

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
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.
FormulaSetOnList	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	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.util.LinkedList

add, add, addAll, addAll, addFirst, addLast, clear, contains, descendingIterator, element, get, getLast, indexOf, lastIndexOf, listIterator, offer, offerFirst, offerLast, peek, peekFirst, peekLast, poll, pollFirst, pollLast, pop, push, remove, remove, remove, removeFirst, removeFirstOccurrence, removeLast, removeLastOccurrence, set, size, spliterator, toArray

Methods inherited from class java.util.AbstractSequentialList

iterator

Methods inherited from class java.util.AbstractList

equals, hashCode, listIterator, subList

Methods inherited from class java.util.AbstractCollection

containsAll, isEmpty, removeAll, retainAll

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface jtabwbx.prop.formula._FormulaSet

add, isEmpty, iterator

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface java.util.List

containsAll, equals, hashCode, isEmpty, iterator, listIterator, removeAll, replaceAll, retainAll, sort, subList

Methods inherited from interface java.util.Deque

iterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Constructor Detail

FormulaSetOnList

public FormulaSetOnList()

Builds an empty set of signed formulas.

Method Detail

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.

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.

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 java.util.Deque<Formula>

Specified by:

getFirst in interface _FormulaSet

Overrides:

getFirst in class java.util.LinkedList<Formula>

Returns:

Returns the first 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.

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.

clone

public FormulaSetOnList 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.LinkedList<Formula>

Returns:

a fresh copy of this set.

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 java.util.Collection<Formula>

Specified by:

toArray in interface java.util.List<Formula>

Specified by:

toArray in interface _FormulaSet

Overrides:

toArray in class java.util.LinkedList<Formula>

Returns:

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

toString

public java.lang.String toString()

Overrides:

toString in class java.util.AbstractCollection<Formula>