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 0.00.50$

Author:

Michael Meyling

Fields inherited from class com.meyling.principia.argument.PatternVariables

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.

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, registerNatives, 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.

Throws:

IllegalArgumentException - if there is a programming error.