[eaa5043] | 1 | // The contents of this file are covered under the licence agreement in the |
---|

| 2 | // file "LICENCE" distributed with Cforall. |
---|

| 3 | // |
---|

| 4 | // pair.c -- |
---|

| 5 | // |
---|

| 6 | // Author : Aaron Moss |
---|

| 7 | // Created On : Wed Apr 12 15:32:00 2017 |
---|

| 8 | // Last Modified By : Aaron Moss |
---|

| 9 | // Last Modified On : Wed Apr 12 15:32:00 2017 |
---|

| 10 | // Update Count : 1 |
---|

| 11 | // |
---|

| 12 | |
---|

[58b6d1b] | 13 | #include <containers/pair.hfa> |
---|

[eaa5043] | 14 | |
---|

[58b6d1b] | 15 | forall(otype R, otype S |
---|

[eaa5043] | 16 | | { int ?==?(R, R); int ?<?(R, R); int ?<?(S, S); }) |
---|

| 17 | int ?<?(pair(R, S) p, pair(R, S) q) { |
---|

| 18 | return p.first < q.first || ( p.first == q.first && p.second < q.second ); |
---|

| 19 | } |
---|

| 20 | |
---|

[58b6d1b] | 21 | forall(otype R, otype S |
---|

[eaa5043] | 22 | | { int ?==?(R, R); int ?<?(R, R); int ?<=?(S, S); }) |
---|

| 23 | int ?<=?(pair(R, S) p, pair(R, S) q) { |
---|

| 24 | return p.first < q.first || ( p.first == q.first && p.second <= q.second ); |
---|

| 25 | } |
---|

| 26 | |
---|

| 27 | forall(otype R, otype S | { int ?==?(R, R); int ?==?(S, S); }) |
---|

| 28 | int ?==?(pair(R, S) p, pair(R, S) q) { |
---|

| 29 | return p.first == q.first && p.second == q.second; |
---|

| 30 | } |
---|

| 31 | |
---|

| 32 | forall(otype R, otype S | { int ?!=?(R, R); int ?!=?(S, S); }) |
---|

| 33 | int ?!=?(pair(R, S) p, pair(R, S) q) { |
---|

| 34 | return p.first != q.first || p.second != q.second; |
---|

| 35 | } |
---|

| 36 | |
---|

[58b6d1b] | 37 | forall(otype R, otype S |
---|

[eaa5043] | 38 | | { int ?==?(R, R); int ?>?(R, R); int ?>?(S, S); }) |
---|

| 39 | int ?>?(pair(R, S) p, pair(R, S) q) { |
---|

| 40 | return p.first > q.first || ( p.first == q.first && p.second > q.second ); |
---|

| 41 | } |
---|

| 42 | |
---|

[58b6d1b] | 43 | forall(otype R, otype S |
---|

[eaa5043] | 44 | | { int ?==?(R, R); int ?>?(R, R); int ?>=?(S, S); }) |
---|

| 45 | int ?>=?(pair(R, S) p, pair(R, S) q) { |
---|

| 46 | return p.first > q.first || ( p.first == q.first && p.second >= q.second ); |
---|

| 47 | } |
---|