|
bool | ignore_abort = false |
| Skip aborted automata.
|
|
bool | debug = false |
| Run the parser in debug mode?
|
|
bool | trust_hoa = true |
| Trust properties in HOA files.
|
|
bool | raise_errors = false |
| Raise errors as exceptions.
|
|
bool | want_kripke = false |
| Parse as a Kripke structure.
|
|
◆ debug
bool spot::automaton_parser_options::debug = false |
Run the parser in debug mode?
◆ ignore_abort
bool spot::automaton_parser_options::ignore_abort = false |
◆ raise_errors
bool spot::automaton_parser_options::raise_errors = false |
Raise errors as exceptions.
◆ trust_hoa
bool spot::automaton_parser_options::trust_hoa = true |
Trust properties in HOA files.
◆ want_kripke
bool spot::automaton_parser_options::want_kripke = false |
Parse as a Kripke structure.
The documentation for this struct was generated from the following file: