22 #include <spot/kripke/fairkripke.hh> 55 void recycle(
const bdd& cond)
62 virtual bdd cond()
const override;
93 kripke(
const bdd_dict_ptr& d)
104 typedef std::shared_ptr<kripke> kripke_ptr;
105 typedef std::shared_ptr<const kripke> const_kripke_ptr;
Interface for a Fair Kripke structure.
Definition: fairkripke.hh:87
Interface for a Kripke structure.
Definition: kripke.hh:90
Abstract class for states.
Definition: twa.hh:50
Iterator code for Kripke structure.
Definition: kripke.hh:43
kripke_succ_iterator(const bdd &cond)
Constructor.
Definition: kripke.hh:50
Iterate over the successors of a state.
Definition: twa.hh:397