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