public class BinarySubtree
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
logcategory |
NonterminalSymbol |
seed |
Constructor and Description |
---|
BinarySubtree(NonterminalSymbol seed,
int inputLength,
ParserOptions options) |
Modifier and Type | Method and Description |
---|---|
void |
add(State L,
int left,
int pivot,
int right) |
int |
getRightExtent() |
public static final java.lang.String logcategory
public final NonterminalSymbol seed
public BinarySubtree(NonterminalSymbol seed, int inputLength, ParserOptions options)
public void add(State L, int left, int pivot, int right)
public int getRightExtent()