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

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 000ff2c was c9b3a41, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

update CFA evaluation code

  • Property mode set to 100644
File size: 926 bytes
RevLine 
[604e76d]1#pragma once
2
[c9b3a41]3#include "iostream"
4
[604e76d]5forall(otype R, otype S) struct pair {
6        R first;
7        S second;
8};
9
10forall(otype R, otype S
11        | { int ?==?(R, R); int ?<?(R, R); int ?<?(S, S); })
12int ?<?(pair(R, S) p, pair(R, S) q);
13
14forall(otype R, otype S
15        | { int ?==?(R, R); int ?<?(R, R); int ?<=?(S, S); })
16int ?<=?(pair(R, S) p, pair(R, S) q);
17
18forall(otype R, otype S | { int ?==?(R, R); int ?==?(S, S); })
19int ?==?(pair(R, S) p, pair(R, S) q);
20
21forall(otype R, otype S | { int ?!=?(R, R); int ?!=?(S, S); })
22int ?!=?(pair(R, S) p, pair(R, S) q);
23
24forall(otype R, otype S
25        | { int ?==?(R, R); int ?>?(R, R); int ?>?(S, S); })
26int ?>?(pair(R, S) p, pair(R, S) q);
27
28forall(otype R, otype S
29        | { int ?==?(R, R); int ?>?(R, R); int ?>=?(S, S); })
30int ?>=?(pair(R, S) p, pair(R, S) q);
[c9b3a41]31
32forall(otype R, otype S)
33forall(dtype ostype | ostream( ostype ) | { ostype & ?|?( ostype &, pair(R, S) ); })
34ostype & ?|?( ostype & os, pair(R, S) );
Note: See TracBrowser for help on using the repository browser.