Public Member Functions | |
int | compare (const LitRep &lhs, const LitRep &rhs) const |
bool | operator() (const LitRep &lhs, const LitRep &rhs) const |
Definition at line 230 of file minimize_constraint.h.
int Clasp::MinimizeBuilder::CmpByWeight::compare | ( | const LitRep & | lhs, |
const LitRep & | rhs | ||
) | const |
Definition at line 759 of file minimize_constraint.cpp.
bool Clasp::MinimizeBuilder::CmpByWeight::operator() | ( | const LitRep & | lhs, |
const LitRep & | rhs | ||
) | const |
Definition at line 743 of file minimize_constraint.cpp.