/// <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));