Gecode::Int::Extensional::TransByO_State Class Reference
Sort transition array by output state. 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
Member Function Documentation
bool Gecode::Int::Extensional::TransByO_State::operator() | ( | const DFA::Transition & | x, |
const DFA::Transition & | y | ||
) | [inline] |
static void Gecode::Int::Extensional::TransByO_State::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)