22 #include "fairkripke.hh"
55 void recycle(
const bdd& cond)
60 virtual ~kripke_succ_iterator();
62 virtual bdd current_condition()
const;
63 virtual acc_cond::mark_t current_acceptance_conditions()
const;
94 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:88
Interface for a Kripke structure.
Definition: kripke.hh:91
Abstract class for states.
Definition: twa.hh:40
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:329