com.meyling.principia.logic.basic
Class BasicPatternVariables
java.lang.Object
|
+--com.meyling.principia.argument.PatternVariables
|
+--com.meyling.principia.logic.basic.BasicPatternVariables
- public class BasicPatternVariables
- extends PatternVariables
Set of pattern variables.
- Version:
- $Revision: 1.5 $
- Author:
- Michael Meyling
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 |
BasicPatternVariables
public BasicPatternVariables()
- Construct an empty set of pattern variables.
BasicPatternVariables
public BasicPatternVariables(PatternVariables var)
- Construct an set of pattern variables by an PatternVariables object.
- Parameters:
var
- PatternVariables to copy from
fillWithSubjectVariables
public final void fillWithSubjectVariables(int greater)
throws IllegalArgumentException
- Fill contents with subject variables, starting with
given number + 1.
- Parameters:
greater
- the created subject variables will
start with greater + 1
- Throws:
IllegalArgumentException
- if there is already
a value assigned in any pattern variable
or if creation of Counter failed
getHighestNumber
public final int getHighestNumber()
- Get highest number of each entry.
- Returns:
- maxiumum of number value for all entries,
if getSize() == 0 it returns -1
getVariables
public final VariableList getVariables()
throws IllegalArgumentException
- Get VariableList of all variables, the list is orderd by type and
number of the pattern variables.
- Throws:
IllegalArgumentException
- if there is a programming error.