
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.