Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
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

Sort transition array by output state.

Definition at line 90 of file dfa.cpp.

Member Function Documentation

◆ operator()()

bool Gecode::Int::Extensional::TransByO_State::operator() ( const DFA::Transition & x,
const DFA::Transition & y )
inline

Definition at line 93 of file dfa.cpp.

◆ sort()

static void Gecode::Int::Extensional::TransByO_State::sort ( DFA::Transition t[],
int n )
inlinestatic

Definition at line 97 of file dfa.cpp.


The documentation for this class was generated from the following file: