22 #include <spot/twa/twa.hh>
23 #include <spot/kripke/fwd.hh>
57 virtual bdd cond()
const override;
98 virtual bdd state_condition(
const state* s)
const = 0;
102 state_acceptance_mark(
const state* s)
const = 0;
Iterator code for a Fair Kripke structure.
Definition: fairkripke.hh:46
Interface for a Fair Kripke structure.
Definition: fairkripke.hh:87
A Transition-based ω-Automaton.
Definition: twa.hh:621
Abstract class for states.
Definition: twa.hh:50
Iterate over the successors of a state.
Definition: twa.hh:397