|
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.AbstractArgument
com.meyling.principia.argument.AbstractArgumentAtom
com.meyling.principia.argument.Counter
An object of this class represents a non negative integer.
Constructor Summary | |
Counter(int number)
Constructs a Number . |
Method Summary | |
Argument |
copy()
Returns an identical object (maybe "this"). |
boolean |
equals(Object object)
Is this object equal to the given one? |
int |
getNumber()
Get the number. |
String |
toString()
Get the argument in String form. |
Methods inherited from class com.meyling.principia.argument.AbstractArgumentAtom |
create, getArgument, getArgumentSize |
Methods inherited from class com.meyling.principia.argument.AbstractArgument |
containsPatternVariables, 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, create, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Constructor Detail |
public Counter(int number) throws ArgumentException
Number
.
number
- non negative integer (0 is ok)
ArgumentException
- if number < 0Method Detail |
public final int getNumber()
getNumber
in interface CounterMarker
public final boolean equals(Object object)
Argument
object
is an instance of Argument
and
both arguments have the same
Argument.getArgumentSize()
and each Argument.getArgument(int)
Argument.equals(java.lang.Object)
.
equals
in interface Argument
equals
in class AbstractArgumentAtom
public final Argument copy()
Argument
copy
in interface Argument
copy
in class AbstractArgumentAtom
public final String toString()
Argument
String
form.
toString
in interface Argument
toString
in class AbstractArgumentAtom
|
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. |