spot::tgba_run Struct Reference
[TGBA runs and supporting functions]

An accepted run, for a tgba. More...

#include <tgbaalgos/emptiness.hh>

List of all members.

Public Types
typedef std::list< step >	steps
Public Member Functions
	~tgba_run ()
	tgba_run ()
	tgba_run (const tgba_run &run)
tgba_run &	operator= (const tgba_run &run)
Public Attributes
steps	prefix
steps	cycle
Classes
struct	step

---

Detailed Description

An accepted run, for a tgba.

---

Member Typedef Documentation

typedef std::list<step> spot::tgba_run::steps

---

Constructor & Destructor Documentation

spot::tgba_run::~tgba_run

(

)

spot::tgba_run::tgba_run

(

)

[inline]

spot::tgba_run::tgba_run

(

const tgba_run &

run

)

---

Member Function Documentation

tgba_run& spot::tgba_run::operator=

(

const tgba_run &

run

)

---

Member Data Documentation

steps spot::tgba_run::prefix

steps spot::tgba_run::cycle

---

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

• tgbaalgos/emptiness.hh

---

Please comment this page and report errors about it on the RefDocComments page.