Searched defs:containment_checks_stronger (Results 1 – 4 of 4) sorted by relevance
36 bool containment_checks_stronger = false, in tl_simplifier_options()80 bool containment_checks_stronger; member in spot::tl_simplifier_options
1718 …containment_checks_stronger = property(_impl.tl_simplifier_options_containment_checks_stronger_get… variable in tl_simplifier_options