Changes in tests/avltree/avl0.cfa [107b01a:fd54fef]
- File:
-
- 1 edited
-
tests/avltree/avl0.cfa (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
tests/avltree/avl0.cfa
r107b01a rfd54fef 1 1 #include "avl.h" 2 2 3 forall( otypeT | Comparable(T))3 forall(T | Comparable(T)) 4 4 int ?==?(T t1, T t2) { 5 5 return !(t1 < t2) && !(t2 < t1); 6 6 } 7 7 8 forall( otypeT | Comparable(T))8 forall(T | Comparable(T)) 9 9 int ?>?(T t1, T t2) { 10 10 return t2 < t1;
Note: See TracChangeset
for help on using the changeset viewer.
