terminalIndex method

int terminalIndex(int index)

Implementation

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