Exemplos de RegexToAutomatonConverter em C# (CSharp)

Exemplo n.º 1

Arquivo: RegexToSMTConverter.cs Projeto: AutomataDotNet/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;
 }

Exemplo n.º 2

Arquivo: RegexToSMTConverter.cs Projeto: AutomataDotNet/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);
 }