spot::mtdtwa Struct Reference

Collaboration diagram for spot::mtdtwa:

Public Member Functions
	mtdtwa (const bdd_dict_ptr &dict) noexcept
unsigned	num_roots () const
std::ostream &	print_dot (std::ostream &os) const

Public Attributes
std::vector< bdd >	states
acc_cond	acc
bdd_dict_ptr	dict_
std::vector< std::pair< acc_cond::mark_t, unsigned > >	terminal_data

---

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

• spot/twaalgos/mtdtwa.hh