Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • libcfa/src/math.trait.hfa

    r6a93e4d r8a97248  
    1010// Created On       : Fri Jul 16 15:40:52 2021
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Tue Jun  6 07:59:17 2023
    13 // Update Count     : 24
     12// Last Modified On : Thu Feb  2 11:36:56 2023
     13// Update Count     : 20
    1414//
    1515
     
    1717
    1818forall( U )
    19 trait not {
     19trait Not {
    2020        void ?{}( U &, zero_t );
    2121        int !?( U );
    22 }; // not
     22}; // Not
    2323
    24 forall( T | not( T ) )
    25 trait equality {
     24forall( T | Not( T ) )
     25trait Equality {
    2626        int ?==?( T, T );
    2727        int ?!=?( T, T );
    28 }; // equality
     28}; // Equality
    2929
    30 forall( U | equality( U ) )
    31 trait relational {
     30forall( U | Equality( U ) )
     31trait Relational {
    3232        int ?<?( U, U );
    3333        int ?<=?( U, U );
    3434        int ?>?( U, U );
    3535        int ?>=?( U, U );
    36 }; // relational
     36}; // Relational
    3737
    3838forall ( T )
    39 trait Signed {  // must be capitalized, conflict with keyword signed
     39trait Signed {
    4040        T +?( T );
    4141        T -?( T );
     
    4444
    4545forall( U | Signed( U ) )
    46 trait additive {
     46trait Additive {
    4747        U ?+?( U, U );
    4848        U ?-?( U, U );
    4949        U ?+=?( U &, U );
    5050        U ?-=?( U &, U );
    51 }; // additive
     51}; // Additive
    5252
    53 forall( T | additive( T ) )
    54 trait inc_dec {
     53forall( T | Additive( T ) )
     54trait Incdec {
    5555        void ?{}( T &, one_t );
    5656        // T ?++( T & );
     
    5858        // T ?--( T & );
    5959        // T --?( T & );
    60 }; // inc_dec
     60}; // Incdec
    6161
    62 forall( U | inc_dec( U ) )
    63 trait multiplicative {
     62forall( U | Incdec( U ) )
     63trait Multiplicative {
    6464        U ?*?( U, U );
    6565        U ?/?( U, U );
    6666        U ?%?( U, U );
    6767        U ?/=?( U &, U );
    68 }; // multiplicative
     68}; // Multiplicative
    6969
    70 forall( T | relational( T ) | multiplicative( T ) )
    71 trait arithmetic {
    72 }; // arithmetic
     70forall( T | Relational( T ) | Multiplicative( T ) )
     71trait Arithmetic {
     72}; // Arithmetic
    7373
    7474// Local Variables: //
Note: See TracChangeset for help on using the changeset viewer.