char*
.
More...
#include <misc/ltstr.hh>
Public Member Functions | |
bool | operator() (const char *left, const char *right) const |
char*
.
This is meant to be used as a comparison functor for STL map
whose key are of type const char*
.
For instance here is how one could declare a map of const state*
.
std::map<const char*, int, spot::state_ptr_less_than> seen;
|
|