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