spot::exclusive_ap Class Reference

Collaboration diagram for spot::exclusive_ap:

Public Member Functions
void	add_group (std::vector< formula > ap)
void	add_group (const char *ap_csv)
bool	empty () const
formula	constrain (formula f) const
twa_graph_ptr	constrain (const_twa_graph_ptr aut, bool simplify_guards=false) const

---

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

• spot/tl/exclusive.hh