spot::mtdtwa Struct Reference

Inheritance diagram for spot::mtdtwa:

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
twa_graph_ptr	as_twa (bool state_based=false, bool labels=true) const

Public Attributes
std::vector< bdd >	states
acc_cond	acc
bdd_dict_ptr	dict_
terminal_data_map_t	terminal_data_map

---

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

• spot/twaalgos/mtdtwa.hh