*/
#include <functional>
+#include <string>
class ptid_t
{
|| *this == filter);
}
+ /* Return a string representation of the ptid.
+
+ This is only meant to be used in debug messages. */
+
+ std::string to_string () const;
+
/* Make a null ptid. */
static constexpr ptid_t make_null ()