Gecode::MiniModel::FinalBag Class Reference

List of all members.

---

Detailed Description

For collecting final states while constructing a DFA.

Definition at line 711 of file reg.cc.

Public Member Functions
	FinalBag (void)
void	add (int)
void	finish (void)
int *	finals (void)

---

Constructor & Destructor Documentation

Gecode::MiniModel::FinalBag::FinalBag

(

void

)

[inline]

Definition at line 723 of file reg.cc.

---

Member Function Documentation

void Gecode::MiniModel::FinalBag::add

(

int

state

)

[inline]

Definition at line 726 of file reg.cc.

void Gecode::MiniModel::FinalBag::finish

(

void

)

[inline]

Definition at line 731 of file reg.cc.

int * Gecode::MiniModel::FinalBag::finals

(

void

)

[inline]

Definition at line 736 of file reg.cc.

---

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

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