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
Iterator code for a Fair Kripke structure.
Definition: fairkripke.hh:49
Interface for a Fair Kripke structure.
Definition: fairkripke.hh:91
Abstract class for states.
Definition: state.hh:40
Iterate over the successors of a state.
Definition: succiter.hh:38
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67