ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
Last change
on this file since d6b03b7 was 107b01a, checked in by Thierry Delisle <tdelisle@…>, 7 years ago |
Several changes to the makefiles
- change .c tests to .cfa
- add require for libtool in configure
- libtoolize to fix some warnings
|
-
Property mode
set to
100644
|
File size:
185 bytes
|
Rev | Line | |
---|
[6e3ae00] | 1 | #include "avl.h"
|
---|
| 2 |
|
---|
| 3 | forall(otype T | Comparable(T))
|
---|
| 4 | int ?==?(T t1, T t2) {
|
---|
| 5 | return !(t1 < t2) && !(t2 < t1);
|
---|
| 6 | }
|
---|
| 7 |
|
---|
| 8 | forall(otype T | Comparable(T))
|
---|
| 9 | int ?>?(T t1, T t2) {
|
---|
| 10 | return t2 < t1;
|
---|
| 11 | }
|
---|
Note:
See
TracBrowser
for help on using the repository browser.