Gecode::Int::Extensional::TransBySymbol Class Reference
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) |
Detailed Description
Sort transition array by symbol (value).
Definition at line 61 of file dfa.cpp.
Member Function Documentation
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] |
The documentation for this class was generated from the following file:
- gecode/int/extensional/dfa.cpp (Revision: 9773)