3 references to PrettyPrint
System.Text.RegularExpressions (3)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
69
public string PrettyPrint(BitVector bv, CharSetSolver solver) => solver.
PrettyPrint
(ConvertToBDD(bv, solver));
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (1)
100
string ISolver<BDD>.PrettyPrint(BDD characterClass, CharSetSolver solver) =>
PrettyPrint
(characterClass);
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (1)
94
public string PrettyPrint(ulong bv, CharSetSolver solver) => solver.
PrettyPrint
(ConvertToBDD(bv, solver));