20 #ifndef SPOT_KRIPKE_KRIPKE_HH
21 # define SPOT_KRIPKE_KRIPKE_HH
23 #include "fairkripke.hh"
54 virtual bdd current_condition()
const;
55 virtual bdd current_acceptance_conditions()
const;
88 virtual bdd state_acceptance_conditions(
const state*)
const;
89 virtual bdd neg_acceptance_conditions()
const;
90 virtual bdd all_acceptance_conditions()
const;
94 #endif // SPOT_KRIPKE_KRIPKE_HH