Searched defs:favor_event_univ (Results 1 – 4 of 4) sorted by relevance
/dports/math/spot/spot-2.10.2/spot/tl/ | ||
H A D | simplify.hh | 40 bool favor_event_univ = false, in tl_simplifier_options() |
/dports/math/py-spot/spot-2.10.2/spot/tl/ | ||
H A D | simplify.hh | 40 bool favor_event_univ = false, in tl_simplifier_options() |
/dports/math/spot/spot-2.10.2/python/spot/ | ||
H A D | impl.py | 1722 …favor_event_univ = property(_impl.tl_simplifier_options_favor_event_univ_get, _impl.tl_simplifier_… variable in tl_simplifier_options |
/dports/math/py-spot/spot-2.10.2/python/spot/ | ||
H A D | impl.py | 1722 …favor_event_univ = property(_impl.tl_simplifier_options_favor_event_univ_get, _impl.tl_simplifier_… variable in tl_simplifier_options |