source: libcfa/src/containers/pair @ bf71cfd

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since bf71cfd was bf71cfd, checked in by Thierry Delisle <tdelisle@…>, 6 years ago

Moved up many directories in source

  • Property mode set to 100644
File size: 1.2 KB
Line 
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
18forall(otype R, otype S) struct pair {
19        R first;
20        S second;
21};
22
23forall(otype R, otype S
24        | { int ?==?(R, R); int ?<?(R, R); int ?<?(S, S); })
25int ?<?(pair(R, S) p, pair(R, S) q);
26
27forall(otype R, otype S
28        | { int ?==?(R, R); int ?<?(R, R); int ?<=?(S, S); })
29int ?<=?(pair(R, S) p, pair(R, S) q);
30
31forall(otype R, otype S | { int ?==?(R, R); int ?==?(S, S); })
32int ?==?(pair(R, S) p, pair(R, S) q);
33
34forall(otype R, otype S | { int ?!=?(R, R); int ?!=?(S, S); })
35int ?!=?(pair(R, S) p, pair(R, S) q);
36
37forall(otype R, otype S
38        | { int ?==?(R, R); int ?>?(R, R); int ?>?(S, S); })
39int ?>?(pair(R, S) p, pair(R, S) q);
40
41forall(otype R, otype S
42        | { int ?==?(R, R); int ?>?(R, R); int ?>=?(S, S); })
43int ?>=?(pair(R, S) p, pair(R, S) q);
44
45// Local Variables: //
46// mode: c //
47// tab-width: 4 //
48// End: //
Note: See TracBrowser for help on using the repository browser.