spot  1.0.1
spot::ltl::ltl_simplifier_options Member List

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

containment_checksspot::ltl::ltl_simplifier_options
containment_checks_strongerspot::ltl::ltl_simplifier_options
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)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 comment this page and report errors about it on the RefDocComments page.
Generated on Wed Jan 23 2013 15:00:04 for spot by doxygen 1.8.1.2