3 implementations of ConvertFromBDD
System.Text.RegularExpressions (3)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
49
public BitVector
ConvertFromBDD
(BDD set, CharSetSolver solver)
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (1)
78
public BDD
ConvertFromBDD
(BDD set, CharSetSolver _) => set;
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (1)
61
public ulong
ConvertFromBDD
(BDD set, CharSetSolver solver)
3 references to ConvertFromBDD
System.Text.RegularExpressions (3)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (3)
159
_wordLetterForBoundariesSet = solver.
ConvertFromBDD
(bddBuilder._wordLetterForBoundariesSet, charSetSolver),
160
_newLineSet = solver.
ConvertFromBDD
(bddBuilder._newLineSet, charSetSolver)
164
SymbolicRegexNode<TSet> rootNode = bddBuilder.Transform(rootBddNode, builder, (builder, bdd) => builder._solver.
ConvertFromBDD
(bdd, charSetSolver));