spot
2.3.2
|
Public Attributes | |
bool | ignore_abort = false |
Skip aborted automata. More... | |
bool | debug = false |
Run the parser in debug mode? More... | |
bool | trust_hoa = true |
Trust properties in HOA files. More... | |
bool | raise_errors = false |
Raise errors as exceptions. More... | |
bool | want_kripke = false |
Parse as a Kripke structure. More... | |
bool spot::automaton_parser_options::debug = false |
Run the parser in debug mode?
bool spot::automaton_parser_options::ignore_abort = false |
Skip aborted automata.
bool spot::automaton_parser_options::raise_errors = false |
Raise errors as exceptions.
bool spot::automaton_parser_options::trust_hoa = true |
Trust properties in HOA files.
bool spot::automaton_parser_options::want_kripke = false |
Parse as a Kripke structure.