23 #ifndef SPOT_TGBAALGOS_LBTT_HH
24 # define SPOT_TGBAALGOS_LBTT_HH
26 #include "tgba/tgba.hh"
28 #include "ltlenv/defaultenv.hh"
39 SPOT_API std::ostream&
55 lbtt_parse(std::istream& is, std::string& error,
61 #endif // SPOT_TGBAALGOS_LBTT_HH
SPOT_API std::ostream & lbtt_reachable(std::ostream &os, const tgba *g, bool sba=false)
Print reachable states in LBTT's format.
SPOT_API const tgba * 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.
static default_environment & instance()
Get the sole instance of spot::ltl::default_environment.