internal RexEngine(CharSetSolver solver) { this.solver = solver; converter = solver.regexConverter; //new RegexToAutomatonConverterCharSet(solver); chooser = converter.Chooser; }
///// <summary> ///// Create a regex member generator for the given character encoding and the given random seed ///// </summary> ///// <param name="encoding">character encoding</param> ///// <param name="randomSeed">if less than 0 then a randomly chosen random seed is used</param> //public RexEngine(BitWidth encoding, int randomSeed) //{ // //int t = System.Environment.TickCount; // this.encoding = encoding; // solver = new CharSetSolver(encoding); // chooser = (randomSeed < 0 ? new Chooser() : new Chooser(randomSeed)); // converter = solver.regexConverter; //} /// <summary> /// Create a regex member generator for the given character encoding. /// </summary> /// <param name="encoding">character encoding</param> public RexEngine(BitWidth encoding) { //int t = System.Environment.TickCount; this.encoding = encoding; solver = new CharSetSolver(encoding); chooser = new Chooser(); converter = solver.regexConverter; }