22 #include "misc/common.hh"
38 SPOT_API std::ostream&
49 SPOT_API std::ostream&
std::ostream & kripke_save_reachable(std::ostream &os, const const_kripke_ptr &k)
Save the reachable part of Kripke structure in text format.
std::ostream & kripke_save_reachable_renumbered(std::ostream &os, const const_kripke_ptr &k)
Save the reachable part of Kripke structure in text format.