|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.qedeq.kernel.bo.logic.EqualFormulaSet
This class represents a set of Element
s.
Constructor Summary | |
|
EqualFormulaSet()
Constructs an empty element set. |
|
EqualFormulaSet(ElementList element)
Constructs an element set from all operands of an element. |
|
EqualFormulaSet(EqualFormula[] formulas)
Constructs an element set. |
(package private) |
EqualFormulaSet(EqualFormulaSet set)
Constructs an equal formulas set. |
Method Summary | |
EqualFormulaSet |
add(EqualFormula formula)
Add a formula to set. |
boolean |
contains(EqualFormula formula)
Is element in set? |
boolean |
equals(Object obj)
|
int |
hashCode()
|
EqualFormulaSet |
intersection(EqualFormulaSet set)
Build the intersection. |
boolean |
isEmpty()
Is set empty? |
boolean |
isSubset(EqualFormulaSet set)
Is set a subset of this set? |
EqualFormulaSet |
minus(EqualFormulaSet set)
Remove elements from another EqualFormulaSet from this set.
|
EqualFormulaSet |
newIntersection(EqualFormulaSet set)
Build a new intersection. |
EqualFormulaSet |
remove(EqualFormula formula)
Remove an element from set. |
String |
toString()
|
EqualFormulaSet |
union(EqualFormulaSet set)
After this method this object is the union of the two sets. |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public EqualFormulaSet()
public EqualFormulaSet(EqualFormula[] formulas)
formulas
- the elements to put into the set
IllegalArgumentException
- if elements
was a
NullPointerEqualFormulaSet(EqualFormulaSet set)
set
- Contains the elements to put into the set.
IllegalArgumentException
- set
was a
NullPointer.public EqualFormulaSet(ElementList element)
element
- Contains the elements to put into the set
(without the operator).
IllegalArgumentException
- element
was a
NullPointer or was an atom.Method Detail |
public final boolean contains(EqualFormula formula)
formula
- Element to check for.
formula
in this set?
IllegalArgumentException
- element
was a
NullPointer.public final boolean isEmpty()
public final boolean isSubset(EqualFormulaSet set)
set
a subset of this set?
set
- set to check for.
set
a subset of this set?
IllegalArgumentException
- set
was a
NullPointerpublic final EqualFormulaSet add(EqualFormula formula)
element
formula
- FormulaOrTerm to put into the set.
this
.
IllegalArgumentException
- formula
was a
NullPointer.public final EqualFormulaSet union(EqualFormulaSet set)
set
- Add all formulas that are here in.
this
.
IllegalArgumentException
- set
was a NullPointer.public final EqualFormulaSet remove(EqualFormula formula)
formula
- FormulaOrTerm to remove from the set
this
.
IllegalArgumentException
- formula
was a NullPointer.public final EqualFormulaSet minus(EqualFormulaSet set)
EqualFormulaSet
from this set.
After this method this object is the asymmetric set difference of the
two sets: this
\ set
.
set
- Remove all elements that are in this set from
this
.
this
set changed?
IllegalArgumentException
- set
was a
NullPointerpublic final EqualFormulaSet intersection(EqualFormulaSet set)
set
- Check for these elements.
this
set changed?
IllegalArgumentException
- set
was a
NullPointerpublic final EqualFormulaSet newIntersection(EqualFormulaSet set)
set
- check for these elements
this
set changed?
IllegalArgumentException
- if the set was a
NullPointerpublic final boolean equals(Object obj)
public final int hashCode()
public final String toString()
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |