|
| 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) |
|
|
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 |
|
bool | boolean_to_isop |
|
bool | favor_event_univ |
|
The documentation for this class was generated from the following file: