Changeset 746


Ignore:
Timestamp:
Jul 22, 2011 5:56:44 PM (9 years ago)
Author:
pbelotti
Message:

eliminated elses in check of bounding box extremes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/Couenne/src/bound_tightening/operators/impliedBounds-exprMul.cpp

    r741 r746  
    102102          resxU = (*xu * *yl < wl) && updateBound (+1, xu, wl / *yl);
    103103          xuIsZero = (fabs(*xu) < COUENNE_EPS ? true : false);               
    104         } else // this else added as the two ifs are mutually
    105           // exclusive: if xu != 0 != yu and wl = 0, xu * yu <
    106           // 0 means either upper bound is negative, so at
    107           // least one of the lower bounds must be negative
    108           // too. This holds for the next three if/else's,
    109           // where the elses are added for efficiency
    110 
    111           if (!xlIsZero) {
    112             resyU = (*xl * *yu < wl) && updateBound (+1, yu, wl / *xl);
    113             yuIsZero = (fabs(*yu) < COUENNE_EPS ? true : false);
    114           }
     104        }
     105        if (!xlIsZero) {
     106          resyU = (*xl * *yu < wl) && updateBound (+1, yu, wl / *xl);
     107          yuIsZero = (fabs(*yu) < COUENNE_EPS ? true : false);
     108        }
    115109      }
    116110
     
    121115          resxL = (*xl * *yu < wl) && updateBound (-1, xl, wl / *yu);
    122116          xlIsZero = (fabs(*xl) < COUENNE_EPS ? true : false);
    123         } else
     117        }
    124118        if (!xuIsZero) {
    125119          resyL = (*xu * *yl < wl) && updateBound (-1, yl, wl / *xu);
     
    227221          resxU = (*xu * *yu > wu) && updateBound (+1, xu, wu / *yu) || resxU;
    228222          xuIsZero = (fabs(*xu) < COUENNE_EPS ? true : false);
    229         } else
     223        }
    230224        if(!xlIsZero) {
    231225          resyL = (*xl * *yl > wu) && updateBound (-1, yl, wu / *xl) || resyL;
     
    238232          resxL = (*xl * *yl > wu) && updateBound (-1, xl, wu / *yl) || resxL;
    239233          xlIsZero = (fabs(*xl) < COUENNE_EPS ? true : false);
    240         } else
     234        }
    241235        if(!xuIsZero) {
    242236          resyU = (*xu * *yu > wu) && updateBound (+1, yu, wu / *xu) || resyU;
Note: See TracChangeset for help on using the changeset viewer.