spot::ltl_to_tgba_fm_otf::options Struct Reference

Bundle the boolean options for translation. More...

#include <spot/twaalgos/ltl2tgba_fm.hh>

Collaboration diagram for spot::ltl_to_tgba_fm_otf::options:

Public Attributes
bool	exprop = false
	Use all property combinations to reduce nondeterminism.
bool	symb_merge = true
	Merge states with the same symbolic representation.
bool	branching_postponement = false
	Merge transitions with the same label leaving the same state.
bool	fair_loop_approx = false
bool	unambiguous = false
	Restrict to unambiguous transitions.
bool	force_obligation = false
	Force the result to satisfy the obligation property.

Detailed Description

Bundle the boolean options for translation.

Member Data Documentation

branching_postponement

bool spot::ltl_to_tgba_fm_otf::options::branching_postponement = false

Merge transitions with the same label leaving the same state.

exprop

bool spot::ltl_to_tgba_fm_otf::options::exprop = false

Use all property combinations to reduce nondeterminism.

fair_loop_approx

bool spot::ltl_to_tgba_fm_otf::options::fair_loop_approx = false

Suppress acceptance conditions from incoming transitions of unstable states.

force_obligation

bool spot::ltl_to_tgba_fm_otf::options::force_obligation = false

Force the result to satisfy the obligation property.

symb_merge

bool spot::ltl_to_tgba_fm_otf::options::symb_merge = true

Merge states with the same symbolic representation.

unambiguous

bool spot::ltl_to_tgba_fm_otf::options::unambiguous = false

Restrict to unambiguous transitions.

---

The documentation for this struct was generated from the following file:

• spot/twaalgos/ltl2tgba_fm.hh