19 #ifndef SPOT_SABA_SABACOMPLEMENTTGBA_HH
20 #define SPOT_SABA_SABACOMPLEMENTTGBA_HH
22 #include <tgba/tgba.hh>
23 #include <tgba/tgbatba.hh>
50 class SPOT_API saba_complement_tgba :
public saba
57 saba_complement_tgba(
const tgba* a);
58 virtual ~saba_complement_tgba();
61 virtual saba_state* get_init_state()
const;
62 virtual saba_succ_iterator*
63 succ_iter(
const saba_state* local_state)
const;
65 virtual bdd_dict* get_dict()
const;
66 virtual std::string format_state(
const saba_state* state)
const;
67 virtual bdd all_acceptance_conditions()
const;
69 const tgba_sba_proxy* automaton_;
70 bdd the_acceptance_cond_;
77 #endif // SPOT_SABA_SABACOMPLEMENTTGBA_HH