public UnicodeCategoryToHashSetProvider(HashSetSolver solver)
{
this.solver = solver;
this.encoding = solver.Encoding;
this.solverBDD = new CharSetSolver(solver.Encoding);
InitializeUnicodeCategoryDefinitions();
}
public RegexToAutomatonConverterHashSet(HashSetSolver solver)
: base(solver, new UnicodeCategoryToHashSetProvider(solver))
{
this.solver = solver;
this.chooser = new Chooser();
}