PMII - JAVA-Packages - Principia Mathematica II

com.meyling.principia.argument
Interface CounterMarker

All Superinterfaces:
Argument
All Known Implementing Classes:
Counter, PatternVariable, BasicPatternVariable

public interface CounterMarker
extends Argument

An object of this class represents a number. Its name would have been Number if this class wouldn't exist in java.lang.

Version:
$Revision: 1.3 $
Author:
Michael Meyling

Method Summary
 int getNumber()
          Get number of object.
 
Methods inherited from interface com.meyling.principia.argument.Argument
containsPatternVariables, copy, create, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches, toString
 

Method Detail

getNumber

public int getNumber()
Get number of object.
Returns:
number, this value is >= 0

PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.