public ATNDeserializationOptions() {this.verifyATN = true;this.generateRuleBypassTransitions = false;}
public ATNDeserializationOptions(){this.verifyATN = true;this.generateRuleBypassTransitions = false;this.optimize = true;}