CVC3
2.4.1
|
#include <cvc_util.h>
Definition at line 58 of file cvc_util.h.
bool CVC3::ltstr::operator() | ( | const std::string & | s1, |
const std::string & | s2 | ||
) | const [inline] |
Definition at line 59 of file cvc_util.h.