26 #include <spot/twaalgos/ltl2tgba_fm.hh>
27 #include <spot/misc/hash.hh>
37 const_twa_graph_ptr translation;
38 typedef std::map<const record_*, bool> incomp_map;
39 incomp_map incompatible;
41 typedef std::unordered_map<formula, record_> trans_map;
47 bool branching_postponement,
48 bool fair_loop_approx);
66 bool incompatible_(record_* l, record_* g);
68 record_* register_formula_(
formula f);
74 bool branching_postponement_;
75 bool fair_loop_approx_;
77 trans_map translated_;
Check containment between LTL formulae.
Definition: contain.hh:33