Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia.logic.basic
Class BasicPatternVariables

java.lang.Object
  extended bycom.meyling.principia.argument.PatternVariables
      extended bycom.meyling.principia.logic.basic.BasicPatternVariables

public class BasicPatternVariables
extends PatternVariables

Set of pattern variables.

Version:
$Revision: 1.8 $
Author:
Michael Meyling

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

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
Method Detail

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.

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.