Sort order for variables. More...
Public Member Functions | |
bool | operator() (const Var *a, const Var *b) |
Sort order for variables.
Definition at line 52 of file unshare.cpp.
bool Gecode::Int::Unshare::VarPtrLess< Var >::operator() | ( | const Var * | a, |
const Var * | b | ||
) | [inline] |
Definition at line 55 of file unshare.cpp.