spot
0.9.1
|
containment_checks | spot::ltl::ltl_simplifier_options | |
containment_checks_stronger | spot::ltl::ltl_simplifier_options | |
event_univ | spot::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_options | [inline] |
nenoform_stop_on_boolean | spot::ltl::ltl_simplifier_options | |
reduce_basics | spot::ltl::ltl_simplifier_options | |
reduce_size_strictly | spot::ltl::ltl_simplifier_options | |
synt_impl | spot::ltl::ltl_simplifier_options |