spot
1.99.4
|
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 |
parsed_aut_type | type = parsed_aut_type::Unknown |
Temporary encoding of an omega automaton produced by the parser.