Unable to Print LTL Automaton in C++
Lets say I have defined a spot::formula f
that represents a LTL formula. Lets say that I then use the spot::translator()
to get a pointer to a spot::twa_graph
that represents f
. How does one print this graph structure in dot format?
Note: I have tried using the dump_storage_to_dot()
function but that outputs the automaton in some sort of table form -- I want the graph form like what the online translator would provide.
Thank you in advance for your assistance.