Searched defs:boolean_to_isop (Results 1 – 8 of 8) sorted by relevance
39 bool boolean_to_isop = false, in tl_simplifier_options()89 bool boolean_to_isop; member in spot::tl_simplifier_options
395 boolean_to_isop(formula f) in boolean_to_isop() function in spot::tl_simplifier_cache4168 tl_simplifier::boolean_to_isop(formula f) in boolean_to_isop() function in spot::tl_simplifier
287 static bool boolean_to_isop = false; variable
1721 …boolean_to_isop = property(_impl.tl_simplifier_options_boolean_to_isop_get, _impl.tl_simplifier_op… variable in tl_simplifier_options1748 boolean_to_isop = _swig_new_instance_method(_impl.tl_simplifier_boolean_to_isop) variable in tl_simplifier