Modules | |
Decorating the dot output | |
Typedefs | |
typedef std::pair< yy::Location, std::string > | spot::tgba_parse_error |
A parse diagnostic with its location. | |
typedef std::list< tgba_parse_error > | spot::tgba_parse_error_list |
A list of parser diagnostics, as filled by parse. | |
Functions | |
std::ostream & | spot::dotty_reachable (std::ostream &os, const tgba *g, dotty_decorator *dd=dotty_decorator::instance()) |
Print reachable states in dot format. | |
std::ostream & | spot::lbtt_reachable (std::ostream &os, const tgba *g) |
Print reachable states in LBTT format. | |
std::ostream & | spot::never_claim_reachable (std::ostream &os, const tgba_sba_proxy *g, const ltl::formula *f=0) |
Print reachable states in Spin never claim format. | |
std::ostream & | spot::tgba_save_reachable (std::ostream &os, const tgba *g) |
Save reachable states in text format. | |
tgba_explicit * | spot::tgba_parse (const std::string &filename, tgba_parse_error_list &error_list, bdd_dict *dict, ltl::environment &env=ltl::default_environment::instance(), bool debug=false) |
Build a spot::tgba_explicit from a text file. | |
bool | spot::format_tgba_parse_errors (std::ostream &os, const std::string &filename, tgba_parse_error_list &error_list) |
Format diagnostics produced by spot::tgba_parse. |
|
A parse diagnostic with its location.
|
|
A list of parser diagnostics, as filled by parse.
|
|
Print reachable states in dot format. The dd argument allows to customize the output in various ways. See this page for a list of available decorators. |
|
Format diagnostics produced by spot::tgba_parse.
|
|
Print reachable states in LBTT format.
|
|
Print reachable states in Spin never claim format.
|
|
Build a spot::tgba_explicit from a text file.
|
|
Save reachable states in text format.
|