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)
2 references to ConvertFromBDD
System.Text.RegularExpressions (2)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (2)
159
_wordLetterForBoundariesSet = solver.
ConvertFromBDD
(bddBuilder._wordLetterForBoundariesSet, charSetSolver),
160
_newLineSet = solver.
ConvertFromBDD
(bddBuilder._newLineSet, charSetSolver)