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.