#include <ltlvisit/simplify.hh>
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 , |
|
|
bool |
boolean_to_isop = false , |
|
|
bool |
favor_event_univ = false |
|
) |
| |
|
inline |
bool spot::ltl::ltl_simplifier_options::boolean_to_isop |
bool spot::ltl::ltl_simplifier_options::containment_checks |
bool spot::ltl::ltl_simplifier_options::containment_checks_stronger |
bool spot::ltl::ltl_simplifier_options::event_univ |
bool spot::ltl::ltl_simplifier_options::favor_event_univ |
bool spot::ltl::ltl_simplifier_options::nenoform_stop_on_boolean |
bool spot::ltl::ltl_simplifier_options::reduce_basics |
bool spot::ltl::ltl_simplifier_options::reduce_size_strictly |
bool spot::ltl::ltl_simplifier_options::synt_impl |
The documentation for this class was generated from the following file: