3 implementations of ConvertToBDD
System.Text.RegularExpressions (3)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
71
public BDD
ConvertToBDD
(BitVector set, CharSetSolver solver)
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (1)
85
public BDD
ConvertToBDD
(BDD set, CharSetSolver _) => set;
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (1)
96
public BDD
ConvertToBDD
(ulong set, CharSetSolver solver)
1 reference to ConvertToBDD
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Sample.cs (1)
170
static BDD ToBDD(TSet set, ISolver<TSet> solver, CharSetSolver charSetSolver) => solver.
ConvertToBDD
(set, charSetSolver);