Implemented interface member:
method
ConvertFromBDD
System.Text.RegularExpressions.Symbolic.ISolver<TSet>.ConvertFromBDD(System.Text.RegularExpressions.Symbolic.BDD, System.Text.RegularExpressions.Symbolic.CharSetSolver)