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
Interface for a Fair Kripke structure.
Definition: fairkripke.hh:91
Interface for a Kripke structure.
Definition: kripke.hh:83
Abstract class for states.
Definition: state.hh:40
Iterator code for Kripke structure.
Definition: kripke.hh:44
Iterate over the successors of a state.
Definition: succiter.hh:38