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