spot  1.1.3
spot::ltl::ltl_simplifier_options Member List

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

boolean_to_isopspot::ltl::ltl_simplifier_options
containment_checksspot::ltl::ltl_simplifier_options
containment_checks_strongerspot::ltl::ltl_simplifier_options
event_univspot::ltl::ltl_simplifier_options
favor_event_univspot::ltl::ltl_simplifier_options
ltl_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)spot::ltl::ltl_simplifier_optionsinline
nenoform_stop_on_booleanspot::ltl::ltl_simplifier_options
reduce_basicsspot::ltl::ltl_simplifier_options
reduce_size_strictlyspot::ltl::ltl_simplifier_options
synt_implspot::ltl::ltl_simplifier_options

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jul 9 2013 14:04:34 for spot by doxygen 1.8.4