Changes in src/libcfa/rational [3ce0d440:09687aa]

File:

• src/libcfa/rational (modified) (3 diffs)

src/libcfa/rational

@@ -12 +12 @@
 // Created On       : Wed Apr  6 17:56:25 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jun  2 09:10:01 2018
-// Update Count     : 105
+// Last Modified On : Wed Dec  6 23:12:53 2017
+// Update Count     : 97
 //
 
@@ -46 +46 @@
 // implementation
 
-forall( otype RationalImpl | arithmetic( RationalImpl ) ) {
-        struct Rational {
-                RationalImpl numerator, denominator;                    // invariant: denominator > 0
-        }; // Rational
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+struct Rational {
+        RationalImpl numerator, denominator;                            // invariant: denominator > 0
+}; // Rational
 
-        // constructors
+// constructors
 
-        void ?{}( Rational(RationalImpl) & r );
-        void ?{}( Rational(RationalImpl) & r, RationalImpl n );
-        void ?{}( Rational(RationalImpl) & r, RationalImpl n, RationalImpl d );
-        void ?{}( Rational(RationalImpl) & r, zero_t );
-        void ?{}( Rational(RationalImpl) & r, one_t );
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+void ?{}( Rational(RationalImpl) & r );
 
-        // numerator/denominator getter
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+void ?{}( Rational(RationalImpl) & r, RationalImpl n );
 
-        RationalImpl numerator( Rational(RationalImpl) r );
-        RationalImpl denominator( Rational(RationalImpl) r );
-        [ RationalImpl, RationalImpl ] ?=?( & [ RationalImpl, RationalImpl ] dest, Rational(RationalImpl) src );
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+void ?{}( Rational(RationalImpl) & r, RationalImpl n, RationalImpl d );
 
-        // numerator/denominator setter
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+void ?{}( Rational(RationalImpl) & r, zero_t );
 
-        RationalImpl numerator( Rational(RationalImpl) r, RationalImpl n );
-        RationalImpl denominator( Rational(RationalImpl) r, RationalImpl d );
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+void ?{}( Rational(RationalImpl) & r, one_t );
 
-        // comparison
+// numerator/denominator getter
 
-        int ?==?( Rational(RationalImpl) l, Rational(RationalImpl) r );
-        int ?!=?( Rational(RationalImpl) l, Rational(RationalImpl) r );
-        int ?<?( Rational(RationalImpl) l, Rational(RationalImpl) r );
-        int ?<=?( Rational(RationalImpl) l, Rational(RationalImpl) r );
-        int ?>?( Rational(RationalImpl) l, Rational(RationalImpl) r );
-        int ?>=?( Rational(RationalImpl) l, Rational(RationalImpl) r );
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+RationalImpl numerator( Rational(RationalImpl) r );
 
-        // arithmetic
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+RationalImpl denominator( Rational(RationalImpl) r );
 
-        Rational(RationalImpl) +?( Rational(RationalImpl) r );
-        Rational(RationalImpl) -?( Rational(RationalImpl) r );
-        Rational(RationalImpl) ?+?( Rational(RationalImpl) l, Rational(RationalImpl) r );
-        Rational(RationalImpl) ?-?( Rational(RationalImpl) l, Rational(RationalImpl) r );
-        Rational(RationalImpl) ?*?( Rational(RationalImpl) l, Rational(RationalImpl) r );
-        Rational(RationalImpl) ?/?( Rational(RationalImpl) l, Rational(RationalImpl) r );
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+[ RationalImpl, RationalImpl ] ?=?( & [ RationalImpl, RationalImpl ] dest, Rational(RationalImpl) src );
 
-        // I/O
-        forall( dtype istype | istream( istype ) | { istype & ?|?( istype &, RationalImpl & ); } )
-        istype & ?|?( istype &, Rational(RationalImpl) & );
+// numerator/denominator setter
 
-        forall( dtype ostype | ostream( ostype ) | { ostype & ?|?( ostype &, RationalImpl ); } )
-        ostype & ?|?( ostype &, Rational(RationalImpl ) );
-} // distribution
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+RationalImpl numerator( Rational(RationalImpl) r, RationalImpl n );
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+RationalImpl denominator( Rational(RationalImpl) r, RationalImpl d );
+
+// comparison
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+int ?==?( Rational(RationalImpl) l, Rational(RationalImpl) r );
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+int ?!=?( Rational(RationalImpl) l, Rational(RationalImpl) r );
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+int ?<?( Rational(RationalImpl) l, Rational(RationalImpl) r );
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+int ?<=?( Rational(RationalImpl) l, Rational(RationalImpl) r );
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+int ?>?( Rational(RationalImpl) l, Rational(RationalImpl) r );
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+int ?>=?( Rational(RationalImpl) l, Rational(RationalImpl) r );
+
+// arithmetic
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+Rational(RationalImpl) +?( Rational(RationalImpl) r );
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+Rational(RationalImpl) -?( Rational(RationalImpl) r );
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+Rational(RationalImpl) ?+?( Rational(RationalImpl) l, Rational(RationalImpl) r );
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+Rational(RationalImpl) ?-?( Rational(RationalImpl) l, Rational(RationalImpl) r );
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+Rational(RationalImpl) ?*?( Rational(RationalImpl) l, Rational(RationalImpl) r );
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+Rational(RationalImpl) ?/?( Rational(RationalImpl) l, Rational(RationalImpl) r );
 
 // conversion
@@ -102 +133 @@
 Rational(RationalImpl) narrow( double f, RationalImpl md );
 
+// I/O
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+forall( dtype istype | istream( istype ) | { istype & ?|?( istype &, RationalImpl & ); } )
+istype & ?|?( istype &, Rational(RationalImpl) & );
+
+forall( otype RationalImpl | arithmetic( RationalImpl ) )
+forall( dtype ostype | ostream( ostype ) | { ostype & ?|?( ostype &, RationalImpl ); } )
+ostype & ?|?( ostype &, Rational(RationalImpl ) );
+
 // Local Variables: //
 // mode: c //