Sort transition array by symbol and then input states. More...
Public Member Functions | |
bool | operator() (const DFA::Transition &x, const DFA::Transition &y) |
Static Public Member Functions | |
static void | sort (DFA::Transition t[], int n) |
Sort transition array by symbol and then input states.
bool Gecode::Int::Extensional::TransBySymbolI_State::operator() | ( | const DFA::Transition & | x, |
const DFA::Transition & | y | ||
) | [inline] |
static void Gecode::Int::Extensional::TransBySymbolI_State::sort | ( | DFA::Transition | t[], |
int | n | ||
) | [inline, static] |