Changes in libcfa/src/math.trait.hfa [7d7ef6f:8a97248]

File:

• libcfa/src/math.trait.hfa (modified) (6 diffs)

libcfa/src/math.trait.hfa

@@ -10 +10 @@
 // Created On       : Fri Jul 16 15:40:52 2021
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Jul 20 17:47:19 2021
-// Update Count     : 19
+// Last Modified On : Thu Feb  2 11:36:56 2023
+// Update Count     : 20
 // 
 
 #pragma once
 
-trait Not( U ) {
+forall( U )
+trait Not {
         void ?{}( U &, zero_t );
         int !?( U );
 }; // Not
 
-trait Equality( T | Not( T ) ) {
+forall( T | Not( T ) )
+trait Equality {
         int ?==?( T, T );
         int ?!=?( T, T );
 }; // Equality
 
-trait Relational( U | Equality( U ) ) {
+forall( U | Equality( U ) )
+trait Relational {
         int ?<?( U, U );
         int ?<=?( U, U );
@@ -33 +36 @@
 }; // Relational
 
-trait Signed( T ) {
+forall ( T )
+trait Signed {
         T +?( T );
         T -?( T );
@@ -39 +43 @@
 }; // Signed
 
-trait Additive( U | Signed( U ) ) {
+forall( U | Signed( U ) )
+trait Additive {
         U ?+?( U, U );
         U ?-?( U, U );
@@ -46 +51 @@
 }; // Additive
 
-trait Incdec( T | Additive( T ) ) {
+forall( T | Additive( T ) )
+trait Incdec {
         void ?{}( T &, one_t );
         // T ?++( T & );
@@ -54 +60 @@
 }; // Incdec
 
-trait Multiplicative( U | Incdec( U ) ) {
+forall( U | Incdec( U ) )
+trait Multiplicative {
         U ?*?( U, U );
         U ?/?( U, U );
@@ -61 +68 @@
 }; // Multiplicative
 
-trait Arithmetic( T | Relational( T ) | Multiplicative( T ) ) {
+forall( T | Relational( T ) | Multiplicative( T ) )
+trait Arithmetic {
 }; // Arithmetic