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;
}