spot::automaton_parser_options Struct Reference

Options controlling the behavior of the automaton stream parser. More...

#include <spot/parseaut/public.hh>

Collaboration diagram for spot::automaton_parser_options:

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

Detailed Description

Options controlling the behavior of the automaton stream parser.

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