|
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.argument.PatternVariables
com.meyling.principia.logic.basic.BasicPatternVariables
Set of pattern variables.
Constructor Summary | |
BasicPatternVariables()
Construct an empty set of pattern variables. |
|
BasicPatternVariables(PatternVariables var)
Construct an set of pattern variables by an PatternVariables object. |
Method Summary | |
void |
fillWithSubjectVariables(int greater)
Fill contents with subject variables, starting with given number + 1. |
int |
getHighestNumber()
Get highest number of each entry. |
VariableList |
getVariables()
Get VariableList of all variables, the list is orderd by type and number of the pattern variables. |
Methods inherited from class com.meyling.principia.argument.PatternVariables |
add, addAll, contains, contains, emptyIntersection, equals, get, getMap, getSize, remove, toString |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public BasicPatternVariables()
public BasicPatternVariables(PatternVariables var)
var
- PatternVariables to copy fromMethod Detail |
public final void fillWithSubjectVariables(int greater) throws IllegalArgumentException
greater
- the created subject variables will
start with greater + 1
IllegalArgumentException
- if there is already
a value assigned in any pattern variable
or if creation of Counter failedpublic final int getHighestNumber()
public final VariableList getVariables() throws IllegalArgumentException
IllegalArgumentException
- if there is a programming error.
|
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. |