20 #ifndef SPOT_KRIPKE_FAIRKRIPKE_HH
21 # define SPOT_KRIPKE_FAIRKRIPKE_HH
23 #include "tgba/tgba.hh"
24 #include "tgba/succiter.hh"
60 virtual bdd current_condition()
const;
61 virtual bdd current_acceptance_conditions()
const;
97 virtual bdd state_condition(
const state* s)
const = 0;
100 virtual bdd state_acceptance_conditions(
const state* s)
const = 0;
103 virtual bdd compute_support_conditions(
const state* s)
const;
104 virtual bdd compute_support_variables(
const state* s)
const;
110 #endif // SPOT_KRIPKE_FAIRKRIPKE_HH