public RexEngine(BitWidth encoding) { //int t = System.Environment.TickCount; this.encoding = encoding; solver = new CharSetSolver(encoding); chooser = new Chooser(); converter = solver.regexConverter; }