Gecode::MiniModel::FinalBag Class Reference

For collecting final states while constructing a DFA. More...

List of all members.

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

---

Detailed Description

For collecting final states while constructing a DFA.

Definition at line 681 of file reg.cpp.

---

Constructor & Destructor Documentation

Gecode::MiniModel::FinalBag::FinalBag

(

void

)

[inline]

Definition at line 693 of file reg.cpp.

---

Member Function Documentation

void Gecode::MiniModel::FinalBag::add

(

int

state

)

[inline]

Definition at line 696 of file reg.cpp.

void Gecode::MiniModel::FinalBag::finish

(

void

)

[inline]

Definition at line 701 of file reg.cpp.

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

(

void

)

[inline]

Definition at line 706 of file reg.cpp.

---

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

• gecode/minimodel/reg.cpp (Revision: 8082)