spot::bdd_dict_preorder Class Reference

Collaboration diagram for spot::bdd_dict_preorder:

Public Member Functions
	operator bdd_dict_ptr () const
bdd_dict_ptr	get_dict () const
int	register_proposition (formula f)
int	register_proposition (const std::string &f)

---

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

• spot/twa/bdddict.hh