spot
0.9.1
|
#include <ltlvisit/simplify.hh>
Public Member Functions | |
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) | |
Public Attributes | |
bool | reduce_basics |
bool | synt_impl |
bool | event_univ |
bool | containment_checks |
bool | containment_checks_stronger |
bool | nenoform_stop_on_boolean |
bool | reduce_size_strictly |
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 |
||
) | [inline] |