Esempi in C# (CSharp) per Microsoft.Automata.Internal.Utilities HelperPredicates

Esempio n. 1

File: CSharpStringMatcher.cs Progetto: 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);
 }

Esempio n. 2

File: CSharpStringMatcher.cs Progetto: 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);
 }

Esempio n. 3

File: CppCodeGenerator.cs Progetto: 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;
 }

Esempio n. 4

File: CppCodeGenerator.cs Progetto: 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;
 }

Esempio n. 5

File: CppCodeGenerator.cs Progetto: 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;
 }

Esempio n. 6

File: CppCodeGenerator.cs Progetto: 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;
 }