source: doc/papers/general/evaluation/cfa-pair.h @ ff39851

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since ff39851 was 604e76d, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

initial setup for general and concurrency papers
  • Property mode set to 100644
File size: 753 bytes
RevLine 
[604e76d]1#pragma once
2
3forall(otype R, otype S) struct pair {
4        R first;
5        S second;
6};
7
8forall(otype R, otype S
9        | { int ?==?(R, R); int ?<?(R, R); int ?<?(S, S); })
10int ?<?(pair(R, S) p, pair(R, S) q);
11
12forall(otype R, otype S
13        | { int ?==?(R, R); int ?<?(R, R); int ?<=?(S, S); })
14int ?<=?(pair(R, S) p, pair(R, S) q);
15
16forall(otype R, otype S | { int ?==?(R, R); int ?==?(S, S); })
17int ?==?(pair(R, S) p, pair(R, S) q);
18
19forall(otype R, otype S | { int ?!=?(R, R); int ?!=?(S, S); })
20int ?!=?(pair(R, S) p, pair(R, S) q);
21
22forall(otype R, otype S
23        | { int ?==?(R, R); int ?>?(R, R); int ?>?(S, S); })
24int ?>?(pair(R, S) p, pair(R, S) q);
25
26forall(otype R, otype S
27        | { int ?==?(R, R); int ?>?(R, R); int ?>=?(S, S); })
28int ?>=?(pair(R, S) p, pair(R, S) q);
Note: See TracBrowser for help on using the repository browser.