public ATNDeserializationOptions(Antlr4.Runtime.Atn.ATNDeserializationOptions options) { this.verifyATN = options.verifyATN; this.generateRuleBypassTransitions = options.generateRuleBypassTransitions; this.optimize = options.optimize; }