Searched refs:is_power_of_positive (Results 1 – 2 of 2) sorted by relevance
259 auto is_power_of_positive = [&](expr* e) { in is_non_negative() local265 if (is_power_of_positive(e)) in is_non_negative()278 if (is_power_of_positive(arg)) in is_non_negative()
257 auto is_power_of_positive = [&](expr* e) { in is_non_negative() local263 if (is_power_of_positive(e)) in is_non_negative()276 if (is_power_of_positive(arg)) in is_non_negative()