26 #include "twaalgos/ltl2tgba_fm.hh"
27 #include "misc/hash.hh"
39 const_twa_graph_ptr translation;
40 typedef std::map<const record_*, bool> incomp_map;
41 incomp_map incompatible;
43 typedef std::unordered_map<const formula*, record_> trans_map;
49 bool branching_postponement,
50 bool fair_loop_approx);
68 bool incompatible_(record_* l, record_* g);
70 record_* register_formula_(
const formula* f);
76 bool branching_postponement_;
77 bool fair_loop_approx_;
79 trans_map translated_;
Check containment between LTL formulae.
Definition: contain.hh:35