Gecode::Int::Extensional::TransBySymbolI_State Class Reference

List of all members.

---

Detailed Description

Sort transition array by symbol and then input states.

Definition at line 77 of file dfa.cc.

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)

---

Member Function Documentation

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

Definition at line 80 of file dfa.cc.

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

Definition at line 85 of file dfa.cc.

---

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

• gecode/int/extensional/dfa.cc (Revision: 7288)