BonOaFeasChecker.hpp

Go to the documentation of this file.

// (C) Copyright International Business Machines 2006
// All Rights Reserved.
// This code is published under the Eclipse Public License.
//
// Authors :
// P. Bonami, Carnegie Mellon University
//
// Date :  12/26/2006
 
 
#ifndef BonOaFeasibilityChecker_HPP
#define BonOaFeasibilityChecker_HPP
#include "BonOaDecBase.hpp"
 
namespace Bonmin
{
  class OaFeasibilityChecker : public OaDecompositionBase
  {
  public:
    OaFeasibilityChecker(BabSetupBase &b);
    OaFeasibilityChecker(const OaFeasibilityChecker &copy)
        :
        OaDecompositionBase(copy),
        pol_(copy.pol_),
        type_(copy.type_),
        cut_count_(copy.cut_count_),
        maximum_oa_cuts_(copy.maximum_oa_cuts_)
    {}

    ~OaFeasibilityChecker();

    static void registerOptions(Ipopt::SmartPtr<Bonmin::RegisteredOptions> roptions);
 
    virtual CglCutGenerator * clone() const
    {
      return new OaFeasibilityChecker(*this);
    }
  protected:
    virtual double performOa(OsiCuts & cs, solverManip &lpManip,
        BabInfo * babInfo, double &cutoff, const CglTreeInfo & info) const;
    virtual bool doLocalSearch(BabInfo * babInfo) const
    {
      return 0;
    }

    enum CutsPolicies {
      DetectCycles = 0,
      KeepAll,
      TreatAsNormal};

    CutsPolicies pol_;
 
    enum CutsTypes {
      OA = 0,
      Benders};

    CutsTypes type_;

    mutable unsigned int cut_count_;
    unsigned int maximum_oa_cuts_;
  };
}
#endif