22 #include <spot/twa/twa.hh>
23 #include <spot/kripke/fwd.hh>
57 virtual bdd cond()
const;
99 virtual bdd state_condition(
const state* s)
const = 0;
103 state_acceptance_conditions(
const state* s)
const = 0;
106 virtual bdd compute_support_conditions(
const state* s)
const;
Iterator code for a Fair Kripke structure.
Definition: fairkripke.hh:46
Interface for a Fair Kripke structure.
Definition: fairkripke.hh:88
A Transition-based ω-Automaton.
Definition: twa.hh:483
Abstract class for states.
Definition: twa.hh:43
Iterate over the successors of a state.
Definition: twa.hh:332