20 #ifndef SPOT_TGBA_TGBAKVCOMPLEMENT_HH
21 #define SPOT_TGBA_TGBAKVCOMPLEMENT_HH
26 #include "tgba/tgbasgba.hh"
38 : bdd_(bdd_), order_(order_)
42 unsigned order()
const
54 return bdd_ithvar(bdd_);
61 typedef std::vector<bdd_ordered> acc_list_t;
93 virtual state* get_init_state()
const;
95 succ_iter(
const state* local_state,
96 const state* global_state = 0,
97 const tgba* global_automaton = 0)
const;
100 virtual std::string format_state(
const state*
state)
const;
101 virtual bdd all_acceptance_conditions()
const;
102 virtual bdd neg_acceptance_conditions()
const;
104 virtual bdd compute_support_conditions(
const state*
state)
const;
105 virtual bdd compute_support_variables(
const state*
state)
const;
112 bdd the_acceptance_cond_;
114 acc_list_t acc_list_;
120 #endif // !SPOT_TGBA_TGBAKVCOMPLEMENT_HH