Home
last modified time | relevance | path

Searched refs:first_or_third_quadrant (Results 1 – 1 of 1) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_widenings.cc660 const int first_or_third_quadrant = sgn(*x_k) * sgn(*x_h); in modify_according_to_evolution() local
661 switch (clockwise * first_or_third_quadrant) { in modify_according_to_evolution()