spot
1.99.3
|
Temporary encoding of an omega automaton produced by the parser. More...
#include <parseaut/public.hh>
Public Attributes | |
twa_graph_ptr | aut |
bool | aborted = false |
spot::location | loc |
Temporary encoding of an omega automaton produced by the parser.