spot
1.1.3
|
#include "ltlast/formula.hh"
Go to the source code of this file.
Namespaces | |
spot | |
Functions | |
tgba * | spot::compsusp (const ltl::formula *f, bdd_dict *dict, bool no_wdba=false, bool no_simulation=false, bool early_susp=false, bool no_susp_product=false, bool wdba_smaller=false, bool oblig=false) |
Compositional translation algorithm with resetable suspension. More... | |