
Sort transition array by symbol (value) 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) |
| bool Gecode::Int::Extensional::TransBySymbol::operator() | ( | const DFA::Transition & | x, |
| const DFA::Transition & | y | ||
| ) | [inline] |
| static void Gecode::Int::Extensional::TransBySymbol::sort | ( | DFA::Transition | t[], |
| int | n | ||
| ) | [inline, static] |