spot 2.12.2
|
Symbol semantic values. More...
#include <spot/parseaut/parseaut.hh>
Public Attributes | |
std::string * | str |
unsigned int | num |
int | b |
spot::acc_cond::mark_t | mark |
pair * | p |
std::list< pair > * | list |
spot::acc_cond::acc_code * | code |
std::vector< unsigned > * | states |
Symbol semantic values.