|
spot
2.3.3.dev
|

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 |
1.8.13