public UnicodeCategoryToRangesProvider(CharRangeSolver solver)
{
this.solver = solver;
this.encoding = solver.Encoding;
this.solverBDD = new CharSetSolver(solver.Encoding);
InitializeUnicodeCategoryDefinitions();
}
public RegexToAutomatonConverterRanges(CharRangeSolver solver)
: base(solver, new UnicodeCategoryToRangesProvider(solver))
{
this.solver = solver;
this.chooser = new Chooser();
}