Public Member Functions | |
bool | operator() (const SymbolType &lhs, const SymbolType &rhs) const |
bool | operator() (const SymbolType &lhs, const char *rhs) const |
bool | operator() (const char *lhs, const SymbolType &rhs) const |
Definition at line 650 of file heuristics.cpp.
bool Clasp::DomainHeuristic::CmpSymbol::operator() | ( | const SymbolType & | lhs, |
const SymbolType & | rhs | ||
) | const [inline] |
Definition at line 651 of file heuristics.cpp.
bool Clasp::DomainHeuristic::CmpSymbol::operator() | ( | const SymbolType & | lhs, |
const char * | rhs | ||
) | const [inline] |
Definition at line 652 of file heuristics.cpp.
bool Clasp::DomainHeuristic::CmpSymbol::operator() | ( | const char * | lhs, |
const SymbolType & | rhs | ||
) | const [inline] |
Definition at line 653 of file heuristics.cpp.