20 #ifndef SPOT_SABA_SABA_HH
21 # define SPOT_SABA_SABA_HH
23 #include "sabastate.hh"
24 #include "sabasucciter.hh"
25 #include <tgba/bdddict.hh>
65 virtual saba_state* get_init_state()
const = 0;
79 succ_iter(
const saba_state* local_state)
const = 0;
88 virtual bdd_dict* get_dict()
const = 0;
104 virtual bdd all_acceptance_conditions()
const = 0;
107 virtual unsigned int number_of_acceptance_conditions()
const;
109 mutable int num_acc_;
115 #endif // SPOT_SABA_SABA_HH