spot
1.99.3
|
Public Member Functions | |
automaton_printer (stat_style input=no_input) | |
void | print (const spot::twa_graph_ptr &aut, const spot::ltl::formula *f=nullptr, const char *filename=nullptr, int loc=-1, double time=0.0, const spot::const_parsed_aut_ptr &haut=nullptr) |
void | add_stat (char c, const spot::printable *p) |