spot
0.8.1
|
#include <iosfwd>
Go to the source code of this file.
Namespaces | |
namespace | spot |
Functions | |
std::ostream & | spot::kripke_save_reachable (std::ostream &os, const kripke *k) |
Save the reachable part of Kripke structure in text format. | |
std::ostream & | spot::kripke_save_reachable_renumbered (std::ostream &os, const kripke *k) |
Save the reachable part of Kripke structure in text format. |