7 references to CreateSingleton
System.Text.RegularExpressions (7)
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (6)
58result.AddLast(_builder.CreateSingleton(_builder._charSetSolver.CreateBDDFromChar(node.Ch))); 62result.AddLast(_builder.CreateSingleton(_builder._solver.Not(_builder._charSetSolver.CreateBDDFromChar(node.Ch)))); 76result.AddLast(_builder.CreateSingleton(_builder._charSetSolver.CreateBDDFromChar(c))); 117result.AddLast(_builder.CreateLoop(_builder.CreateSingleton(bdd), node.Kind is RegexNodeKind.Onelazy or RegexNodeKind.Notonelazy, node.M, node.N)); 128result.AddLast(_builder.CreateLoop(_builder.CreateSingleton(setBdd), node.Kind == RegexNodeKind.Setlazy, node.M, node.N)); 317return _builder.CreateSingleton(CreateBDDFromSetString(set));
System\Text\RegularExpressions\Symbolic\SymbolicRegexBuilder.cs (1)
325return builder.CreateSingleton(setTransformer(builder, node._set));