26 typedef std::shared_ptr<fair_kripke> fair_kripke_ptr;
27 typedef std::shared_ptr<const fair_kripke> const_fair_kripke_ptr;
30 typedef std::shared_ptr<kripke> kripke_ptr;
31 typedef std::shared_ptr<const kripke> const_kripke_ptr;
33 class kripke_explicit;
34 typedef std::shared_ptr<const kripke_explicit> const_kripke_explicit_ptr;
35 typedef std::shared_ptr<kripke_explicit> kripke_explicit_ptr;
Definition: automata.hh:26