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 symb_merge =
true,
48 bool branching_postponement =
false,
49 bool fair_loop_approx =
false);
67 bool incompatible_(record_* l, record_* g);
69 record_* register_formula_(
formula f);
75 bool branching_postponement_;
76 bool fair_loop_approx_;
78 trans_map translated_;
Check containment between LTL formulae.
Definition: contain.hh:33