PMII - JAVA-Packages - Principia Mathematica II

com.meyling.principia.logic.basic
Class SubjectVariable

java.lang.Object
  |
  +--com.meyling.principia.argument.AbstractArgument
        |
        +--com.meyling.principia.argument.AbstractArgumentList
              |
              +--com.meyling.principia.logic.basic.SubjectVariable
All Implemented Interfaces:
Argument, SubjectVariableMarker

public class SubjectVariable
extends AbstractArgumentList
implements SubjectVariableMarker

Subject variable, represents a subject of the universe of discourse.

Version:
$Revision: 1.4 $
Author:
Michael Meyling

Constructor Summary
SubjectVariable(Argument[] arguments)
          Constructs certain subject variable.
SubjectVariable(int number)
          Constructs certain subject variable.
 
Method Summary
 Argument create(Argument[] arguments)
          Create a new Argument with given arguments.
 int getNumber()
          Get the number of the subject variable.
 String toString()
          Get the argument in String form.
 
Methods inherited from class com.meyling.principia.argument.AbstractArgumentList
copy, getArgument, getArgumentSize
 
Methods inherited from class com.meyling.principia.argument.AbstractArgument
containsPatternVariables, equals, getHighestNumber, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches
 
Methods inherited from class java.lang.Object
, clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface com.meyling.principia.argument.Argument
containsPatternVariables, copy, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches
 

Constructor Detail

SubjectVariable

public SubjectVariable(Argument[] arguments)
                throws ArgumentException
Constructs certain subject variable.
Parameters:
arguments - first argument is number of subject variable
Throws:
ArgumentException - if there is not exactly one argument that is an instance of CounterMarker

SubjectVariable

public SubjectVariable(int number)
                throws ArgumentException
Constructs certain subject variable.
Parameters:
number - number of subject variable
Throws:
ArgumentException - if Counter couldn't be created
Method Detail

getNumber

public final int getNumber()
Get the number of the subject variable.
Specified by:
getNumber in interface SubjectVariableMarker
Returns:
number of subject variable

create

public final Argument create(Argument[] arguments)
                      throws ArgumentException
Description copied from interface: Argument
Create a new Argument with given arguments.
Specified by:
create in interface Argument
Overrides:
create in class AbstractArgumentList
Following copied from interface: com.meyling.principia.argument.Argument
Parameters:
arguments - with these arguments the operator should be created
Returns:
new constructed Argument
Throws:
ArgumentException - if creation failed

toString

public final String toString()
Description copied from interface: Argument
Get the argument in String form.
Specified by:
toString in interface Argument
Overrides:
toString in class AbstractArgumentList
Following copied from interface: com.meyling.principia.argument.Argument
Returns:
readable formula

PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.