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:

Public Member Functions