org.nineml.coffeegrinder.trees

Class TreeNumber

java.lang.Object

org.nineml.coffeegrinder.trees.TreeNumber

public class TreeNumber
extends java.lang.Object

A numbering of potential trees.

This object is used to keep track of what sequential parses have yet to be discovered.

Field Summary

Fields

Modifier and Type	Field and Description
int	length

Constructor Summary

Constructors

Constructor and Description
TreeNumber()
TreeNumber(TreeNumber seed, int base)

Method Summary

Modifier and Type	Method and Description
void	advance()
int	digit(int pos)
boolean	hasDigits(java.lang.Integer... check)
boolean	isMax()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

length

public final int length

Constructor Detail

TreeNumber

public TreeNumber()

TreeNumber

public TreeNumber(TreeNumber seed,
                  int base)

Method Detail

isMax

public boolean isMax()

advance

public void advance()

digit

public int digit(int pos)

hasDigits

public boolean hasDigits(java.lang.Integer... check)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object