spot::automaton_parser_options Struct Reference

Collaboration diagram for spot::automaton_parser_options:

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	drop_false_edges = true
	Drop edges with false labels. More...

Member Data Documentation

debug

bool spot::automaton_parser_options::debug = false

Run the parser in debug mode?

drop_false_edges

bool spot::automaton_parser_options::drop_false_edges = true

Drop edges with false labels.

ignore_abort

bool spot::automaton_parser_options::ignore_abort = false

Skip aborted automata.

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:

• spot/parseaut/public.hh