Gecode::MiniModel::TransitionBag Class Reference

List of all members.

---

Detailed Description

For collecting transitions while constructing a DFA.

Definition at line 674 of file reg.cc.

Public Member Functions
	TransitionBag (void)
void	add (int, int, int)
void	finish (void)
DFA::Transition *	transitions (void)

---

Constructor & Destructor Documentation

Gecode::MiniModel::TransitionBag::TransitionBag

(

void

)

[inline]

Definition at line 686 of file reg.cc.

---

Member Function Documentation

void Gecode::MiniModel::TransitionBag::add	(	int	i_state,
		int	symbol,
		int	o_state
	)			[inline]

Definition at line 689 of file reg.cc.

void Gecode::MiniModel::TransitionBag::finish

(

void

)

[inline]

Definition at line 697 of file reg.cc.

DFA::Transition * Gecode::MiniModel::TransitionBag::transitions

(

void

)

[inline]

Definition at line 702 of file reg.cc.

---

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

• gecode/minimodel/reg.cc (Revision: 6102)