Strict Weak Ordering for char*
.This is meant to be used as a comparison functor for STL map
whose key are of type const char*
.
More...
#include <misc/ltstr.hh>
Public Member Functions | |
bool | operator() (const char *left, const char *right) const |
Strict Weak Ordering for 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;
bool spot::char_ptr_less_than::operator() | ( | const char * | left, | |
const char * | right | |||
) | const [inline] |