public class SearchGraph.NonTerminal
extends java.lang.Object
Constructor and Description |
---|
NonTerminal(SearchGraph.Node nextNode,
NTProductions subSearchGraph) |
NonTerminal(SearchGraph.Node nextNode,
NTProductions subSearchGraph,
int innerPriority) |
Modifier and Type | Method and Description |
---|---|
SearchGraph.Node |
getNextNode() |
int |
getPriority() |
NTProductions |
getSubSearchGraph() |
void |
setPriority(int innerPriority) |
public NonTerminal(SearchGraph.Node nextNode, NTProductions subSearchGraph, int innerPriority)
public NonTerminal(SearchGraph.Node nextNode, NTProductions subSearchGraph)
public SearchGraph.Node getNextNode()
public NTProductions getSubSearchGraph()
public int getPriority()
public void setPriority(int innerPriority)