1 | // |
---|

2 | // Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo |
---|

3 | // |
---|

4 | // The contents of this file are covered under the licence agreement in the |
---|

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

6 | // |
---|

7 | // pair -- |
---|

8 | // |
---|

9 | // Author : Aaron Moss |
---|

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

11 | // Last Modified By : Peter A. Buhr |
---|

12 | // Last Modified On : Sat Jul 22 09:59:53 2017 |
---|

13 | // Update Count : 2 |
---|

14 | // |
---|

15 | |
---|

16 | #pragma once |
---|

17 | |
---|

18 | forall(R, S) struct pair { |
---|

19 | R first; |
---|

20 | S second; |
---|

21 | }; |
---|

22 | |
---|

23 | forall(R, S |
---|

24 | | { int ?==?(R, R); int ?<?(R, R); int ?<?(S, S); }) |
---|

25 | int ?<?(pair(R, S) p, pair(R, S) q); |
---|

26 | |
---|

27 | forall(R, S |
---|

28 | | { int ?==?(R, R); int ?<?(R, R); int ?<=?(S, S); }) |
---|

29 | int ?<=?(pair(R, S) p, pair(R, S) q); |
---|

30 | |
---|

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

32 | int ?==?(pair(R, S) p, pair(R, S) q); |
---|

33 | |
---|

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

35 | int ?!=?(pair(R, S) p, pair(R, S) q); |
---|

36 | |
---|

37 | forall(R, S |
---|

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

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

40 | |
---|

41 | forall(R, S |
---|

42 | | { int ?==?(R, R); int ?>?(R, R); int ?>=?(S, S); }) |
---|

43 | int ?>=?(pair(R, S) p, pair(R, S) q); |
---|

44 | |
---|

45 | // Local Variables: // |
---|

46 | // mode: c // |
---|

47 | // tab-width: 4 // |
---|

48 | // End: // |
---|