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