Changeset 991


Ignore:
Timestamp:
Jun 25, 2008 12:06:37 AM (11 years ago)
Author:
ladanyi
Message:

one more check...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/dynamicbranching/dynamicbranching.cpp

    r990 r991  
    7575  bool isProvenPrimalInfeasible;
    7676  double getObjSense;
     77  double getObjValue;
    7778  double* getReducedCost;
    7879  double* getColLower;
     
    9394  isProvenPrimalInfeasible = model.isProvenPrimalInfeasible();
    9495  getObjSense = model.getObjSense();
     96  getObjValue = model.getObjValue();
    9597
    9698  getReducedCost = new double[model.getNumCols()];
     
    16081610          assert(lpres.isDualObjectiveLimitReached ||
    16091611                 (lpres.isProvenPrimalInfeasible == model.isProvenPrimalInfeasible()));
     1612          assert(!lpres.isProvenOptimal || ! model.isProvenOptimal() ||
     1613                 (lpres.isProvenOptimal && model.isProvenOptimal() &&
     1614                  lpres.getObjValue == model.getObjValue()));
    16101615          printf("Finished moving node %d up by %i levels.\n", node.node_id_, cnt);
    16111616        }
Note: See TracChangeset for help on using the changeset viewer.