4 references to CreateBDDFromSetString
System.Text.RegularExpressions (4)
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (4)
127BDD setBdd = CreateBDDFromSetString(set); 317return _builder.CreateSingleton(CreateBDDFromSetString(set)); 331return StackHelper.CallOnEmptyStack(CreateBDDFromSetString, set); 453subtractorCond = CreateBDDFromSetString(set.Substring(i));