26 #include <spot/twa/bdddict.hh> 30 class tl_simplifier_cache;
42 bool symb_merge =
true,
43 bool branching_postponement =
false,
44 bool fair_loop_approx =
false);
62 bool incompatible_(record_* l, record_* g);
64 record_* register_formula_(
formula f);
70 bool branching_postponement_;
71 bool fair_loop_approx_;
73 trans_map_* translated_;
74 tl_simplifier_cache* c_;
Definition: automata.hh:26
Check containment between LTL formulae.
Definition: contain.hh:33