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	spot::tl_simplifier_options
containment_checks	spot::tl_simplifier_options
containment_checks_stronger	spot::tl_simplifier_options
containment_max_ops	spot::tl_simplifier_options
containment_max_states	spot::tl_simplifier_options
event_univ	spot::tl_simplifier_options
favor_event_univ	spot::tl_simplifier_options
is_enabled() const	spot::tl_simplifier_options	inline
keep_top_xor	spot::tl_simplifier_options
load_from_option_map(const option_map &om, const char *prefix)	spot::tl_simplifier_options
nenoform_stop_on_boolean	spot::tl_simplifier_options
reduce_basics	spot::tl_simplifier_options
reduce_size_strictly	spot::tl_simplifier_options
save_to_option_map(option_map &om, const char *prefix) const	spot::tl_simplifier_options
synt_impl	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, bool keep_top_xor=false, bool unit_prop=false)	spot::tl_simplifier_options	inline
tl_simplifier_options(int level)	spot::tl_simplifier_options	inline
unit_prop	spot::tl_simplifier_options