Changes in src/ResolvExpr/Cost.h [d97c3a4:6d6e829]

File:

• src/ResolvExpr/Cost.h (modified) (11 diffs)

src/ResolvExpr/Cost.h

@@ -21 +21 @@
         class Cost {
           private:
-                Cost( int unsafeCost, int polyCost, int safeCost, int varCost, int specCost,
-                        int referenceCost );
+                Cost( int unsafeCost, int polyCost, int varCost, int specCost, int safeCost, 
+                      int referenceCost );
 
           public:
                 Cost & incUnsafe( int inc = 1 );
                 Cost & incPoly( int inc = 1 );
-                Cost & incSafe( int inc = 1 );
                 Cost & incVar( int inc = 1 );
                 Cost & decSpec( int inc = 1 );
+                Cost & incSafe( int inc = 1 );
                 Cost & incReference( int inc = 1 );
 
                 int get_unsafeCost() const { return unsafeCost; }
                 int get_polyCost() const { return polyCost; }
-                int get_safeCost() const { return safeCost; }
                 int get_varCost() const { return varCost; }
                 int get_specCost() const { return specCost; }
+                int get_safeCost() const { return safeCost; }
                 int get_referenceCost() const { return referenceCost; }
 
@@ -54 +54 @@
                 static const Cost unsafe;
                 static const Cost poly;
-                static const Cost safe;
                 static const Cost var;
                 static const Cost spec;
+                static const Cost safe;
                 static const Cost reference;
 
@@ -62 +62 @@
                 int unsafeCost;     ///< Unsafe (narrowing) conversions
                 int polyCost;       ///< Count of parameters and return values bound to some poly type
-                int safeCost;       ///< Safe (widening) conversions
                 int varCost;        ///< Count of polymorphic type variables
                 int specCost;       ///< Polymorphic type specializations (type assertions), negative cost
+                int safeCost;       ///< Safe (widening) conversions
                 int referenceCost;  ///< reference conversions
         };
 
-        inline Cost::Cost( int unsafeCost, int polyCost, int safeCost, int varCost, int specCost, 
+        inline Cost::Cost( int unsafeCost, int polyCost, int varCost, int specCost, int safeCost, 
                         int referenceCost ) 
-                : unsafeCost( unsafeCost ), polyCost( polyCost ), safeCost( safeCost ), varCost( varCost ), 
-                  specCost( specCost ), referenceCost( referenceCost ) {}
+                : unsafeCost( unsafeCost ), polyCost( polyCost ), varCost( varCost ), specCost( specCost ), 
+                  safeCost( safeCost ), referenceCost( referenceCost ) {}
 
         inline Cost & Cost::incUnsafe( int inc ) {
@@ -85 +85 @@
         }
 
+        inline Cost & Cost::incVar( int inc ) {
+                if ( *this == infinity ) return *this;
+                varCost += inc;
+                return *this;
+        }
+
+        inline Cost& Cost::decSpec( int dec ) {
+                if ( *this == infinity ) return *this;
+                specCost -= dec;
+                return *this;
+        }
+
         inline Cost & Cost::incSafe( int inc ) {
                 if ( *this == infinity ) return *this;
                 safeCost += inc;
-                return *this;
-        }
-
-        inline Cost & Cost::incVar( int inc ) {
-                if ( *this == infinity ) return *this;
-                varCost += inc;
-                return *this;
-        }
-
-        inline Cost& Cost::decSpec( int dec ) {
-                if ( *this == infinity ) return *this;
-                specCost -= dec;
                 return *this;
         }
@@ -112 +112 @@
                 if ( *this == infinity || other == infinity ) return infinity;
                 return Cost{ 
-                        unsafeCost + other.unsafeCost, polyCost + other.polyCost, safeCost + other.safeCost, 
+                        unsafeCost + other.unsafeCost, polyCost + other.polyCost, 
                         varCost + other.varCost, specCost + other.specCost, 
-                        referenceCost + other.referenceCost };
+                        safeCost + other.safeCost, referenceCost + other.referenceCost };
         }
 
@@ -120 +120 @@
                 if ( *this == infinity || other == infinity ) return infinity;
                 return Cost{ 
-                        unsafeCost - other.unsafeCost, polyCost - other.polyCost, safeCost - other.safeCost, 
+                        unsafeCost - other.unsafeCost, polyCost - other.polyCost, 
                         varCost - other.varCost, specCost - other.specCost, 
-                        referenceCost - other.referenceCost };
+                        safeCost - other.safeCost, referenceCost - other.referenceCost };
         }
 
@@ -133 +133 @@
                 unsafeCost += other.unsafeCost;
                 polyCost += other.polyCost;
-                safeCost += other.safeCost;
                 varCost += other.varCost;
                 specCost += other.specCost;
+                safeCost += other.safeCost;
                 referenceCost += other.referenceCost;
                 return *this;
@@ -152 +152 @@
                 } else if ( polyCost < other.polyCost ) {
                         return true;
+                } else if ( varCost > other.varCost ) {
+                        return false;
+                } else if ( varCost < other.varCost ) {
+                        return true;
+                } else if ( specCost > other.specCost ) {
+                        return false;
+                } else if ( specCost > other.specCost ) {
+                        return true;
                 } else if ( safeCost > other.safeCost ) {
                         return false;
                 } else if ( safeCost < other.safeCost ) {
-                        return true;
-                } else if ( varCost > other.varCost ) {
-                        return false;
-                } else if ( varCost < other.varCost ) {
-                        return true;
-                } else if ( specCost > other.specCost ) {
-                        return false;
-                } else if ( specCost > other.specCost ) {
                         return true;
                 } else if ( referenceCost > other.referenceCost ) {
@@ -179 +179 @@
                 int c = unsafeCost - other.unsafeCost; if ( c ) return c;
                 c = polyCost - other.polyCost; if ( c ) return c;
-                c = safeCost - other.safeCost; if ( c ) return c;
                 c = varCost - other.varCost; if ( c ) return c;
                 c = specCost - other.specCost; if ( c ) return c;
+                c = safeCost - other.safeCost; if ( c ) return c;
                 return referenceCost - other.referenceCost;
         }
@@ -188 +188 @@
                 return unsafeCost == other.unsafeCost
                         && polyCost == other.polyCost
-                        && safeCost == other.safeCost
                         && varCost == other.varCost
                         && specCost == other.specCost
+                        && safeCost == other.safeCost
                         && referenceCost == other.referenceCost;
         }
@@ -200 +200 @@
         inline std::ostream &operator<<( std::ostream &os, const Cost &cost ) {
                 return os << "( " << cost.unsafeCost << ", " << cost.polyCost << ", " 
-                          << cost.safeCost << ", " << cost.varCost << ", " << cost.specCost << ", "
-                          << cost.referenceCost << " )";
+                          << cost.varCost << ", " << cost.specCost << ", "
+                          << cost.safeCost << ", " << cost.referenceCost << " )";
         }
 } // namespace ResolvExpr