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

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