#include "tgba/tgba.hh"
#include <iosfwd>
#include "ltlenv/defaultenv.hh"
Go to the source code of this file.
Namespaces |
namespace | spot |
Functions |
std::ostream & | spot::lbtt_reachable (std::ostream &os, const tgba *g, bool sba=false) |
| Print reachable states in LBTT's 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.
|