Class TreeNumber

java.lang.Object
org.nineml.coffeegrinder.trees.TreeNumber

public class TreeNumber extends Object
A numbering of potential trees.

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

  • Field Details

    • length

      public final int length
  • Constructor Details

    • TreeNumber

      public TreeNumber()
    • TreeNumber

      public TreeNumber(TreeNumber seed, int base)
  • Method Details

    • isMax

      public boolean isMax()
    • advance

      public void advance()
    • digit

      public int digit(int pos)
    • hasDigits

      public boolean hasDigits(Integer... check)
    • toString

      public String toString()
      Overrides:
      toString in class Object