13 #include <boost/mpl/int.hpp>
32 : _id( ::pool_str2id( myPool().getPool(), str_r, true ) )
36 : _id( ::pool_str2id( myPool().getPool(), str_r.c_str(), true ) )
40 { return ::strlen(
c_str() ); }
43 {
return _id ? ::pool_id2str(
myPool().getPool(),
_id ) :
""; }
64 return ::strcmp(
c_str(), rhs );
74 return str << obj.
c_str();
79 return str <<
'(' << obj.
id() <<
')' << obj.
c_str();
IdType id() const
Expert backdoor.
Access to the sat-pools string space.
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.
IdString()
Default ctor, empty string.
static const IdString Null
No or Null string ( Id 0 ).
static const IdType noId(0)
unsigned size() const
The strings size.