#include <DecompCutPool.h>
Public Member Functions | |
bool | operator() (const DecompWaitingRow &x, const DecompWaitingRow &y) |
bool | operator() (const DecompWaitingRow &x, const DecompWaitingRow &y) |
Definition at line 28 of file DecompCutPool.h.
bool is_greater_thanD::operator() | ( | const DecompWaitingRow & | x, | |
const DecompWaitingRow & | y | |||
) | [inline] |
Definition at line 32 of file DecompCutPool.h.
References DecompWaitingRow::getViolation().
bool is_greater_thanD::operator() | ( | const DecompWaitingRow & | x, | |
const DecompWaitingRow & | y | |||
) | [inline] |
Definition at line 30 of file DecompCutPool.h.
References DecompWaitingRow::getViolation().