Class Descriptor

java.lang.Object
org.nineml.coffeegrinder.gll.Descriptor

public class Descriptor extends Object
A descriptor is a slot (a state) with it's position in the input.
  • Field Details

    • slot

      public final State slot
    • k

      public final int k
    • j

      public final int j
  • Constructor Details

    • Descriptor

      public Descriptor(State slot, int k, int j)
  • Method Details