/// <summary>Pretty print the bitvector bv as the character set it represents.</summary> public string PrettyPrint(ulong bv, CharSetSolver solver) => solver.PrettyPrint(ConvertToBDD(bv, solver));
/// <summary>Pretty print the bitvector bv as the character set it represents.</summary> public string PrettyPrint(BV bv) { CharSetSolver solver = CharSetSolver.Instance; return(solver.PrettyPrint(ConvertToCharSet(solver, bv))); }
/// <summary>Pretty print the bitvector bv as the character set it represents.</summary> public string PrettyPrint(BitVector bv, CharSetSolver solver) => solver.PrettyPrint(ConvertToBDD(bv, solver));