|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.meyling.principia.logic.basic.PropositionVariables
Set of proposition variables.
Constructor Summary | |
PropositionVariables()
Construct an empty set of proposition variables. |
|
PropositionVariables(PropositionVariable[] already)
Construct a new set of proposition variables with some initial entries. |
|
PropositionVariables(PropositionVariables already)
Construct a new set of proposition variables with the same entires as the given one. |
Method Summary | |
void |
add(PropositionVariable variable)
Add a proposition variable to the set. |
void |
addAll(PropositionVariables newOnes)
Add all these proposition variables. |
boolean |
contains(PropositionVariable variable)
Check if a certain proposition variable is already in the set. |
boolean |
contains(PropositionVariables variables)
Does this object contain another set of proposition variables? |
boolean |
emptyIntersection(PropositionVariables variables)
Does this object have an empty intersection with another set of proposition variables? |
boolean |
equals(PropositionVariables variables)
Is this object equal to another one? |
int |
getHighestNumber()
Get highest number of each entry. |
int |
getSize()
Get number of elements in the set. |
void |
remove(PropositionVariable variable)
Remove a proposition variable or a pattern variable from the set. |
String |
toString()
Get a readable string representation of this object. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public PropositionVariables()
public PropositionVariables(PropositionVariables already)
already
- these proposition variable entries should be addedpublic PropositionVariables(PropositionVariable[] already)
already
- these proposition variable entries should be addedMethod Detail |
public final void add(PropositionVariable variable)
variable
- add this variablepublic final boolean contains(PropositionVariable variable)
variable
- check for this variable
variable
already there?public final boolean emptyIntersection(PropositionVariables variables)
variables
- to build intersection with
public final boolean contains(PropositionVariables variables)
variables
- check this set
variables
a subset?public final void addAll(PropositionVariables newOnes)
newOnes
- these should be addedpublic final int getSize()
public final int getHighestNumber()
public final void remove(PropositionVariable variable)
variable
- remove this onepublic final String toString()
public final boolean equals(PropositionVariables variables)
variables
- object to compare with
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |