Changeset dd3576b for libcfa/src
- Timestamp:
- Feb 25, 2023, 8:12:47 AM (22 months ago)
- Branches:
- ADT, ast-experimental, master
- Children:
- b1ad41f
- Parents:
- f2a1cd2
- Location:
- libcfa/src
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
libcfa/src/concurrency/mutex_stmt.hfa
rf2a1cd2 rdd3576b 4 4 //----------------------------------------------------------------------------- 5 5 // is_lock 6 trait is_lock(L & | sized(L)) { 6 forall(L & | sized(L)) 7 trait is_lock { 7 8 // For acquiring a lock 8 9 void lock( L & ); -
libcfa/src/vec/vec.hfa
rf2a1cd2 rdd3576b 18 18 #include <math.hfa> 19 19 20 trait fromint(T) { 20 forall(T) 21 trait fromint { 21 22 void ?{}(T&, int); 22 23 }; 23 trait zeroinit(T) { 24 forall(T) 25 trait zeroinit { 24 26 void ?{}(T&, zero_t); 25 27 }; 26 trait zero_assign(T) { 28 forall(T) 29 trait zero_assign { 27 30 T ?=?(T&, zero_t); 28 31 }; 29 trait subtract(T) { 32 forall(T) 33 trait subtract { 30 34 T ?-?(T, T); 31 35 }; 32 trait negate(T) { 36 forall(T) 37 trait negate { 33 38 T -?(T); 34 39 }; 35 trait add(T) { 40 forall(T) 41 trait add { 36 42 T ?+?(T, T); 37 43 }; 38 trait multiply(T) { 44 forall(T) 45 trait multiply { 39 46 T ?*?(T, T); 40 47 }; 41 trait divide(T) { 48 forall(T) 49 trait divide { 42 50 T ?/?(T, T); 43 51 }; 44 trait lessthan(T) { 52 forall(T) 53 trait lessthan { 45 54 int ?<?(T, T); 46 55 }; 47 trait equality(T) { 56 forall(T) 57 trait equality { 48 58 int ?==?(T, T); 49 59 }; 50 trait sqrt(T) { 60 forall(T) 61 trait sqrt { 51 62 T sqrt(T); 52 63 };
Note: See TracChangeset
for help on using the changeset viewer.