Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## com.meyling.principia.argument
Class Enumerator

    java.lang.Object
      com.meyling.principia.argument.Enumerator

public class Enumerator
extends Object

An object of this class represents a number, that could be compared and increased.

Version:
  $Revision: 1.5 $
Author:
  Michael Meyling

Constructor Summary
`Enumerator()` Constructs an object.
`Enumerator(int number)` Constructs an object with a certain start number.

Method Summary
`int` | `getNumber()` Gets current number.
`void` | `increaseNumber()` Increases current number.
`String` | `toString()` Return number in `String` format.

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Constructor Detail

### Enumerator

    public Enumerator()

  Constructs an object.

### Enumerator

    public Enumerator(int number)

  Constructs an object with a certain start number. param number start value

Method Detail

### getNumber

    public final int getNumber()

  Gets current number.

  Returns:
    current number

### increaseNumber

    public final void increaseNumber()

  Increases current number.

### toString

    public String toString()

  Return number in `String` format.

  Returns:
    number as `String`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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.