Gecode::MiniModel::TransitionBag Class Reference

For collecting transitions while constructing a DFA. More...

List of all members.

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

---

Detailed Description

For collecting transitions while constructing a DFA.

Definition at line 757 of file reg.cpp.

---

Constructor & Destructor Documentation

Gecode::MiniModel::TransitionBag::TransitionBag

(

void

)

[inline]

Definition at line 769 of file reg.cpp.

---

Member Function Documentation

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

Definition at line 772 of file reg.cpp.

void Gecode::MiniModel::TransitionBag::finish

(

void

)

[inline]

Definition at line 780 of file reg.cpp.

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

(

void

)

[inline]

Definition at line 785 of file reg.cpp.

---

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

• gecode/minimodel/reg.cpp