C# (CSharp) Microsoft.Automata.Internal.Utilities HelperPredicates示例

示例#1

文件： CSharpStringMatcher.cs 项目： wellsoftware/Automata

 public CSharpGenerator(Automaton <BDD> automaton, CharSetSolver solver, string classname, string namespacename, bool OptimzeForAsciiInput = true)
 {
     this.solver        = solver;
     this.automaton     = automaton;
     this.namespacename = namespacename;
     this.classname     = classname;
     ASCII             = solver.MkCharSetFromRange('\0', '\x7F');
     helper_predicates = new HelperPredicates(solver, OptimzeForAsciiInput);
 }

示例#2

文件： CSharpStringMatcher.cs 项目： AutomataDotNet/Automata

 public CSharpGenerator(Automaton<BDD> automaton, CharSetSolver solver, string classname, string namespacename, bool OptimzeForAsciiInput = true)
 {
     this.solver = solver;
     this.automaton = automaton;
     this.namespacename = namespacename;
     this.classname = classname;
     ASCII = solver.MkCharSetFromRange('\0', '\x7F');
     helper_predicates = new HelperPredicates(solver, OptimzeForAsciiInput);
 }

示例#3

文件： CppCodeGenerator.cs 项目： wellsoftware/Automata

 public CppCodeGenerator(CharSetSolver solver, string classname, string namespacename, bool exportIsMatch, bool optimzeForAsciiInput, params Regex[] regexes)
 {
     this.automata          = Array.ConvertAll(regexes, r => Regex2Automaton(solver, r));
     this.solver            = solver;
     this.classname         = classname;
     this.namespacename     = namespacename;
     this.helper_predicates = new HelperPredicates(solver, optimzeForAsciiInput);
     this.exportIsMatch     = exportIsMatch;
 }

示例#4

文件： CppCodeGenerator.cs 项目： wellsoftware/Automata

 public CppCodeGenerator(CharSetSolver solver, string classname, string namespacename, bool exportIsMatch, bool optimzeForAsciiInput, params Automaton <BDD>[] automata)
 {
     this.automata          = automata;
     this.solver            = solver;
     this.classname         = classname;
     this.namespacename     = namespacename;
     this.helper_predicates = new HelperPredicates(solver, optimzeForAsciiInput);
     this.exportIsMatch     = exportIsMatch;
 }

示例#5

文件： CppCodeGenerator.cs 项目： AutomataDotNet/Automata

 public CppCodeGenerator(CharSetSolver solver, string classname, string namespacename, bool exportIsMatch, bool optimzeForAsciiInput, params Regex[] regexes)
 {
     this.automata = Array.ConvertAll(regexes, r => Regex2Automaton(solver, r));
     this.solver = solver;
     this.classname = classname;
     this.namespacename = namespacename;
     this.helper_predicates = new HelperPredicates(solver, optimzeForAsciiInput);
     this.exportIsMatch = exportIsMatch;
 }

示例#6

文件： CppCodeGenerator.cs 项目： AutomataDotNet/Automata

 public CppCodeGenerator(CharSetSolver solver, string classname, string namespacename, bool exportIsMatch, bool optimzeForAsciiInput, params Automaton<BDD>[] automata)
 {
     this.automata = automata;
     this.solver = solver;
     this.classname = classname;
     this.namespacename = namespacename;
     this.helper_predicates = new HelperPredicates(solver, optimzeForAsciiInput);
     this.exportIsMatch = exportIsMatch;
 }