Changes in libcfa/src/math.trait.hfa [6a93e4d:8a97248]
- File:
-
- 1 edited
-
libcfa/src/math.trait.hfa (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
libcfa/src/math.trait.hfa
r6a93e4d r8a97248 10 10 // Created On : Fri Jul 16 15:40:52 2021 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : T ue Jun 6 07:59:17202313 // Update Count : 2 412 // Last Modified On : Thu Feb 2 11:36:56 2023 13 // Update Count : 20 14 14 // 15 15 … … 17 17 18 18 forall( U ) 19 trait not {19 trait Not { 20 20 void ?{}( U &, zero_t ); 21 21 int !?( U ); 22 }; // not22 }; // Not 23 23 24 forall( T | not( T ) )25 trait equality {24 forall( T | Not( T ) ) 25 trait Equality { 26 26 int ?==?( T, T ); 27 27 int ?!=?( T, T ); 28 }; // equality28 }; // Equality 29 29 30 forall( U | equality( U ) )31 trait relational {30 forall( U | Equality( U ) ) 31 trait Relational { 32 32 int ?<?( U, U ); 33 33 int ?<=?( U, U ); 34 34 int ?>?( U, U ); 35 35 int ?>=?( U, U ); 36 }; // relational36 }; // Relational 37 37 38 38 forall ( T ) 39 trait Signed { // must be capitalized, conflict with keyword signed39 trait Signed { 40 40 T +?( T ); 41 41 T -?( T ); … … 44 44 45 45 forall( U | Signed( U ) ) 46 trait additive {46 trait Additive { 47 47 U ?+?( U, U ); 48 48 U ?-?( U, U ); 49 49 U ?+=?( U &, U ); 50 50 U ?-=?( U &, U ); 51 }; // additive51 }; // Additive 52 52 53 forall( T | additive( T ) )54 trait inc_dec {53 forall( T | Additive( T ) ) 54 trait Incdec { 55 55 void ?{}( T &, one_t ); 56 56 // T ?++( T & ); … … 58 58 // T ?--( T & ); 59 59 // T --?( T & ); 60 }; // inc_dec60 }; // Incdec 61 61 62 forall( U | inc_dec( U ) )63 trait multiplicative {62 forall( U | Incdec( U ) ) 63 trait Multiplicative { 64 64 U ?*?( U, U ); 65 65 U ?/?( U, U ); 66 66 U ?%?( U, U ); 67 67 U ?/=?( U &, U ); 68 }; // multiplicative68 }; // Multiplicative 69 69 70 forall( T | relational( T ) | multiplicative( T ) )71 trait arithmetic {72 }; // arithmetic70 forall( T | Relational( T ) | Multiplicative( T ) ) 71 trait Arithmetic { 72 }; // Arithmetic 73 73 74 74 // Local Variables: //
Note:
See TracChangeset
for help on using the changeset viewer.