|
spot
2.1
|

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.
1.8.8