spot
1.0
|
Go to the source code of this file.
Namespaces | |
namespace | spot |
Functions | |
std::ostream & | spot::lbtt_reachable (std::ostream &os, const tgba *g) |
Print reachable states in LBTT format. | |
const tgba * | spot::lbtt_parse (std::istream &is, std::string &error, bdd_dict *dict, ltl::environment &env=ltl::default_environment::instance(), ltl::environment &envacc=ltl::default_environment::instance()) |
Read an automaton in LBTT's format. |