Rewrite non-strict relations
| 52 | |
| 53 | /// Rewrite non-strict relations |
| 54 | forceinline void |
| 55 | rewrite(IntRelType &r, long long int &d) { |
| 56 | switch (r) { |
| 57 | case IRT_EQ: case IRT_NQ: case IRT_LQ: case IRT_GQ: |
| 58 | break; |
| 59 | case IRT_LE: |
| 60 | d--; r = IRT_LQ; break; |
| 61 | case IRT_GR: |
| 62 | d++; r = IRT_GQ; break; |
| 63 | default: |
| 64 | throw UnknownRelation("Int::linear"); |
| 65 | } |
| 66 | } |
| 67 | |
| 68 | forceinline void |
| 69 | post_pos_unit(Home home, |