Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.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()

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: