Ejemplo n.º 1
0
 internal RexEngine(CharSetSolver solver)
 {
     this.solver = solver;
     converter = solver.regexConverter; //new RegexToAutomatonConverterCharSet(solver);
     chooser = converter.Chooser;
 }
Ejemplo n.º 2
0
 ///// <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;
 }