Sort symbols. More...
Public Member Functions | |
bool | operator() (int x, int y) |
Static Public Member Functions | |
static void | sort (int s[], int n) |
bool Gecode::MiniModel::SymbolsInc::operator() | ( | int | x, |
int | y | ||
) | [inline] |
static void Gecode::MiniModel::SymbolsInc::sort | ( | int | s[], |
int | n | ||
) | [inline, static] |