DFAState.configs

Undocumented in source.
class DFAState
ATNConfigSet configs;

Meta