Implemented interface member:

method

ConvertToBDD

System.Text.RegularExpressions.Symbolic.ISolver<TSet>.ConvertToBDD(TSet, System.Text.RegularExpressions.Symbolic.CharSetSolver)