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:

Public Member Functions

Public Attributes