13 #include <boost/mpl/int.hpp>
32 : _id( ::pool_str2id( myPool().getPool(), str_r, true ) )
36 : _id( ::pool_strn2id( myPool().getPool(), str_r, len_r, true ) )
40 :
IdString( str_r.c_str(), str_r.length() )
44 :
IdString( str_r.data(), str_r.length() )
48 { return ::strlen(
c_str() ); }
51 {
return _id ? ::pool_id2str(
myPool().getPool(),
_id ) :
""; }
72 return ::strcmp(
c_str(), rhs );
82 return str << obj.
c_str();
87 return str <<
'(' << obj.
id() <<
')' << obj.
c_str();
IdType id() const
Expert backdoor.
Access to the sat-pools string space.
constexpr IdString()
Default ctor, empty string.
static const IdString Empty
Empty string.
static const IdType emptyId(1)
std::ostream & operator<<(std::ostream &str, const Exception &obj)
std::ostream & dumpOn(std::ostream &str, const Capability &obj)
static PoolImpl & myPool()
const char * c_str() const
Conversion to const char *
int compare(const IdString &rhs) const
Compare IdString returning -1,0,1.
static const IdString Null
No or Null string ( Id 0 ).
static const IdType noId(0)
unsigned size() const
The strings size.