Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia.argument
Interface CounterMarker

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

public interface CounterMarker
extends Argument

An object of this class represents something that should count as a number. But a PatternVariable that stands for a number fullfills this interface also.

Version:
$Revision: 1.5 $
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

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.