Searched refs:NumNfaTransitions (Results 1 – 2 of 2) sorted by relevance
88 unsigned NumNfaTransitions = 0; variable
54 ++NumNfaTransitions; in addTransition()105 << NumNfaTransitions << " transitions.\n"; in emit()