source: doc/papers/general/evaluation/cfa-pair.c @ c9b3a41

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationresolv-newwith_gc
Last change on this file since c9b3a41 was c9b3a41, checked in by Peter A. Buhr <pabuhr@…>, 4 years ago

update CFA evaluation code

  • Property mode set to 100644
File size: 1.3 KB
Line 
1#include "cfa-pair.h"
2#include "fstream"
3
4forall(otype R, otype S
5        | { int ?==?(R, R); int ?<?(R, R); int ?<?(S, S); })
6int ?<?(pair(R, S) p, pair(R, S) q) {
7        return p.first < q.first || ( p.first == q.first && p.second < q.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        return p.first < q.first || ( p.first == q.first && p.second <= q.second );
14}
15
16forall(otype R, otype S | { int ?==?(R, R); int ?==?(S, S); })
17int ?==?(pair(R, S) p, pair(R, S) q) {
18        return p.first == q.first && p.second == q.second;
19}
20
21forall(otype R, otype S | { int ?!=?(R, R); int ?!=?(S, S); })
22int ?!=?(pair(R, S) p, pair(R, S) q) {
23        return p.first != q.first || p.second != q.second;
24}
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) {
29        return p.first > q.first || ( p.first == q.first && p.second > q.second );
30}
31
32forall(otype R, otype S
33        | { int ?==?(R, R); int ?>?(R, R); int ?>=?(S, S); })
34int ?>=?(pair(R, S) p, pair(R, S) q) {
35        return p.first > q.first || ( p.first == q.first && p.second >= q.second );
36}
37
38forall(otype R, otype S)
39forall(dtype ostype | ostream( ostype ) | { ostype & ?|?( ostype &, pair(R, S) ); })
40ostype & ?|?( ostype & os, pair(R, S) p ) {
41        return os | '[' | p.first | ',' | p.second | ']';
42} // ?|?
Note: See TracBrowser for help on using the repository browser.