QuadTransformer.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2008 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURQUADTRANSFORMER_H
#define MINOTAURQUADTRANSFORMER_H
 
#include "Types.h"
#include "Transformer.h"
 
namespace Minotaur {
  class Environment;
  class LinearHandler;
  class UnivarQuadHandler;
  class Problem;
  class Solution;
  class YEqQfBil;
  class YEqBivar;
  class YEqUnivar;
  typedef LinearHandler* LinearHandlerPtr;
  typedef UnivarQuadHandler* UnivarQuadHandlerPtr;
  typedef Solution* SolutionPtr;
  typedef const Solution* ConstSolutionPtr;
 
 
  class QuadTransformer : public Transformer {
  public:
    QuadTransformer();
 
    QuadTransformer(EnvPtr env, ProblemPtr p);
 
    ~QuadTransformer();
 
    // base class method.
    std::string getName() const;
 
    // base class method.
    SolutionPtr getSolOrig(ConstSolutionPtr sol, int &err);
 
    // base class method.
    SolutionPtr getSolTrans(ConstSolutionPtr sol, int &err);
 
    // base class method.
    void reformulate(ProblemPtr &newp, HandlerVector &handlers, int &status);
 
 
  private:
    static const std::string me_;
 
    YEqQfBil *yQfBil_;
    YEqBivar *yBivar_;
    YEqUnivar *yUnivar_;
 
    void refCons_(ConstProblemPtr oldp);
 
    void refObj_(ConstProblemPtr oldp);
 
    void refQuadCons_(QuadraticFunctionPtr qf, LinearFunctionPtr lf,
                      LinearFunctionPtr &lf1);
  };
  typedef QuadTransformer* QuadTranPtr;
  typedef const QuadTransformer* ConstQuadTranPtr;
 
}
 
#endif