nonterminalIndex method

int nonterminalIndex(int index)

Implementation

int nonterminalIndex(int index) {
  return prs.nonterminalIndex(index);
}