|
| tl_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 keep_top_xor=false) |
|
| tl_simplifier_options (int level) |
|
|
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 |
|
bool | keep_top_xor |
|
unsigned | containment_max_states = 0 |
|
unsigned | containment_max_ops = 16 |
|
The documentation for this class was generated from the following file: