Microsoft.Automata.Internal.Utilities.HelperPredicates.HelperPredicates C# (CSharp) Method

        public HelperPredicates(CharSetSolver solver, bool OptimzeForAsciiInput)
        {
            this.solver = solver;
            helper_predicates = new List<string>();
            predicate_cache = new Dictionary<BDD, string>();
            ascii = solver.MkRangeConstraint('\0', '\x7F');
            this.OptimzeForASCIIinput = OptimzeForAsciiInput;
        }