ProfilingATNSimulator.numDecisions

Undocumented in source.
class ProfilingATNSimulator
protected
int numDecisions;

Meta