21 #ifndef SPOT_KRIPKE_KRIPKEEXPLICIT_HH
22 # define SPOT_KRIPKE_KRIPKEEXPLICIT_HH
27 # include "kripkeprint.hh"
47 virtual int compare (
const state* other)
const;
50 virtual size_t hash()
const;
57 void add_conditions(bdd f);
84 const std::list<state_kripke*>& get_succ()
const;
87 std::list<state_kripke*> succ_;
100 virtual void first();
102 virtual bool done()
const;
108 std::list<state_kripke*>::const_iterator it_;
129 const tgba* global_automaton = 0)
const;
132 bdd state_condition(
const state* s)
const;
134 bdd state_condition(
const std::string&)
const;
137 std::string format_state(
const state*)
const;
143 void add_state(std::string);
146 void add_transition(std::string source,
153 void add_conditions(bdd add,
164 const std::map<const state_kripke*, std::string>&
171 void add_conditions(bdd add,
174 void add_transition(std::string source,
182 std::map<const std::string, state_kripke*> ns_nodes_;
183 std::map<const state_kripke*, std::string> sn_nodes_;
186 #endif // SPOT_KRIPKE_KRIPKEEXPLICIT_HH