spot::twa_run::step Struct Reference

Collaboration diagram for spot::twa_run::step:

Public Member Functions
	step (const state *s, bdd label, acc_cond::mark_t acc) noexcept

Public Attributes
const state *	s
bdd	label
acc_cond::mark_t	acc

---

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

• spot/twaalgos/emptiness.hh