spot 2.2.2

- Main Page
- Related Pages
- Modules
- Classes
- Files

- Class List
- Class Index
- Class Hierarchy
- Class Members

All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
spot::tl_simplifier_options Member List

This is the complete list of members for spot::tl_simplifier_options, including all inherited members.

boolean_to_isop (defined in spot::tl_simplifier_options) | spot::tl_simplifier_options |
containment_checks (defined in spot::tl_simplifier_options) | spot::tl_simplifier_options |
containment_checks_stronger (defined in spot::tl_simplifier_options) | spot::tl_simplifier_options |
event_univ (defined in spot::tl_simplifier_options) | spot::tl_simplifier_options |
favor_event_univ (defined in spot::tl_simplifier_options) | spot::tl_simplifier_options |
nenoform_stop_on_boolean (defined in spot::tl_simplifier_options) | spot::tl_simplifier_options |
reduce_basics (defined in spot::tl_simplifier_options) | spot::tl_simplifier_options |
reduce_size_strictly (defined in spot::tl_simplifier_options) | spot::tl_simplifier_options |
synt_impl (defined in spot::tl_simplifier_options) | spot::tl_simplifier_options |
tl_simplifier_options(bool basics=true, bool synt_impl=true, bool event_univ=true, bool containment_checks=false, bool containment_checks_stronger=false, bool nenoform_stop_on_boolean=false, bool reduce_size_strictly=false, bool boolean_to_isop=false, bool favor_event_univ=false) (defined in spot::tl_simplifier_options) | spot::tl_simplifier_options | inline
tl_simplifier_options(int level) (defined in spot::tl_simplifier_options) | spot::tl_simplifier_options | inline

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.