LinConMod.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURLINCONMOD_H
#define MINOTAURLINCONMOD_H
 
#include "Modification.h"
 
namespace Minotaur {
 
class Engine;
class LinConMod;
class LinearFunction;
typedef Engine* EnginePtr;
typedef LinConMod*  LinConModPtr;
typedef const LinConMod*  ConstLinConModPtr;
typedef std::vector < LinConModPtr > LinConModVector;
typedef LinConModVector::iterator LinConModIter;
typedef LinConModVector::const_iterator LinConModConstIter;
typedef LinearFunction* LinearFunctionPtr;
 
class LinConMod : public Modification {
public:
  LinConMod(ConstraintPtr con, LinearFunctionPtr new_lf, double new_ub,
            double new_lb);
 
  ~LinConMod();
 
  void applyToProblem(ProblemPtr problem);
 
  // base class method.
  ModificationPtr fromRel(RelaxationPtr, ProblemPtr ) const
    {return LinConModPtr();};
 
  // base class method.
  ModificationPtr toRel(ProblemPtr, RelaxationPtr) const
    {return LinConModPtr();};
 
  void undoToProblem(ProblemPtr problem);
 
  void write(std::ostream &out) const;
 
private:
  ConstraintPtr con_;
 
  LinearFunctionPtr newLf_;
 
  double newLb_;
 
  double newUb_;
 
  LinearFunctionPtr oldLf_;
 
  double oldLb_;
 
  double oldUb_;
 
};   
}
#endif