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; }
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); }
static Regex() { solver = new CharSetSolver(); converter = new RegexToAutomatonConverter <BDD>(solver); }