CouenneComplObject.hpp

Go to the documentation of this file.

/* $Id: CouenneComplObject.hpp 615 2011-06-08 20:36:24Z pbelotti $
 *
 * Name:    CouenneComplObject.hpp
 * Authors: Pietro Belotti, Lehigh University
 * Purpose: Branching object for complementarity constraints
 *
 * (C) Carnegie-Mellon University, 2008-10.
 * This file is licensed under the Eclipse Public License (EPL)
 */

#ifndef COUENNECOMPLOBJECT_HPP
#define COUENNECOMPLOBJECT_HPP

#include "CouenneObject.hpp"

namespace Couenne {


class CouenneComplObject: public CouenneObject {

public:

  CouenneComplObject (CouenneCutGenerator *c,
                      CouenneProblem *p, 
                      exprVar *ref, Bonmin::BabSetupBase *base, JnlstPtr jnlst,
                      int sign);

  CouenneComplObject (exprVar *ref, Bonmin::BabSetupBase *base, JnlstPtr jnlst,
                      int sign);

  ~CouenneComplObject () {}

  CouenneComplObject (const CouenneComplObject &src);

  virtual CouenneObject * clone () const
  {return new CouenneComplObject (*this);}

  virtual double infeasibility (const OsiBranchingInformation *info, int &way) const;

  virtual double checkInfeasibility (const OsiBranchingInformation * info) const;

  virtual OsiBranchingObject *createBranch (OsiSolverInterface*, 
                                            const OsiBranchingInformation*, 
                                            int way) const;
private:

  int sign_;

};

}

#endif