Ejemplos de Microsoft.Automata RegexToAutomatonConverter en C# (CSharp)

Ejemplo n.º 1

Archivo: RegexToSMTConverter.cs Proyecto: wellsoftware/Automata

 public RegexToSMTConverter(BitWidth encoding, string charSortAlias)
 {
     css            = new CharSetSolver(encoding);
     automConverter = css.RegexConverter;
     maxChar        = (encoding == BitWidth.BV16 ? '\uFFFF' :
                       (encoding == BitWidth.BV8 ? '\u00FF' : '\u007F'));
     CHAR = charSortAlias;
 }

Ejemplo n.º 2

Archivo: RegexToSMTConverter.cs Proyecto: wellsoftware/Automata

 public RegexToSMTConverter(BitWidth encoding)
 {
     css            = new CharSetSolver(encoding);
     automConverter = css.RegexConverter;
     maxChar        = (encoding == BitWidth.BV16 ? '\uFFFF' :
                       (encoding == BitWidth.BV8 ? '\u00FF' : '\u007F'));
     CHAR = string.Format("(_ BitVec {0})", (int)encoding);
 }

Ejemplo n.º 3

 static Regex()
 {
     solver    = new CharSetSolver();
     converter = new RegexToAutomatonConverter <BDD>(solver);
 }