RhodeCode

    ///\param e is a linear expression of type \ref Expr.

    ///

    void obj(const Expr& e) {

      _setObjCoeffs(ExprIterator(e.comps.begin(), cols),

                    ExprIterator(e.comps.end(), cols));

      obj_const_comp = *e;

    }

    ///Get the objective function

    ///\return the objective function as a linear expression of type

    ///Expr.

    Expr obj() const {

      Expr e;

      _getObjCoeffs(InsertIterator(e.comps, cols));

      *e = obj_const_comp;

      return e;

    }

    ///Set the direction of optimization

    void sense(Sense sense) { _setSense(sense); }

    ///Query the direction of the optimization

    Sense sense() const {return _getSense(); }

    ///Set the sense to maximization

    void max() { _setSense(MAX); }

    ///Set the sense to maximization

    void min() { _setSense(MIN); }

    ///Clears the problem

    void clear() { _clear(); }

    /// Sets the message level of the solver

    void messageLevel(MessageLevel level) { _messageLevel(level); }

    ///@}

  };

  /// Addition

  ///\relates LpBase::Expr

  ///

  inline LpBase::Expr operator+(const LpBase::Expr &a, const LpBase::Expr &b) {

    LpBase::Expr tmp(a);

    tmp+=b;

    return tmp;

  }

  ///Substraction

  ///\relates LpBase::Expr

  ///

  inline LpBase::Expr operator-(const LpBase::Expr &a, const LpBase::Expr &b) {

    LpBase::Expr tmp(a);

    tmp-=b;

    return tmp;

  }

  ///Multiply with constant

  ///\relates LpBase::Expr

  ///

  inline LpBase::Expr operator*(const LpBase::Expr &a, const LpBase::Value &b) {

    LpBase::Expr tmp(a);

    tmp*=b;

    return tmp;

  }

  ///Multiply with constant

  ///\relates LpBase::Expr

  ///

  inline LpBase::Expr operator*(const LpBase::Value &a, const LpBase::Expr &b) {

    LpBase::Expr tmp(b);

    tmp*=a;

    return tmp;

  }

  ///Divide with constant

  ///\relates LpBase::Expr

  ///

  inline LpBase::Expr operator/(const LpBase::Expr &a, const LpBase::Value &b) {

    LpBase::Expr tmp(a);

    tmp/=b;

    return tmp;

  }

  ///Create constraint

  ///\relates LpBase::Constr

  ///

  inline LpBase::Constr operator<=(const LpBase::Expr &e,

                                   const LpBase::Expr &f) {

  }

  ///Create constraint

  ///\relates LpBase::Constr

  ///

  inline LpBase::Constr operator<=(const LpBase::Value &e,

                                   const LpBase::Expr &f) {

    return LpBase::Constr(e, f, LpBase::NaN);

  }

  ///Create constraint

  ///\relates LpBase::Constr

  ///

  inline LpBase::Constr operator<=(const LpBase::Expr &e,

                                   const LpBase::Value &f) {

  }

  ///Create constraint

  ///\relates LpBase::Constr

  ///

  inline LpBase::Constr operator>=(const LpBase::Expr &e,

                                   const LpBase::Expr &f) {

  }

  ///Create constraint

  ///\relates LpBase::Constr

  ///

  inline LpBase::Constr operator>=(const LpBase::Value &e,

                                   const LpBase::Expr &f) {

    return LpBase::Constr(LpBase::NaN, f, e);

  }

  ///Create constraint

  ///\relates LpBase::Constr

  ///

  inline LpBase::Constr operator>=(const LpBase::Expr &e,

                                   const LpBase::Value &f) {

  }

  ///Create constraint

  ///\relates LpBase::Constr

  ///

  inline LpBase::Constr operator==(const LpBase::Expr &e,

                                   const LpBase::Value &f) {

    return LpBase::Constr(f, e, f);

  }

  ///Create constraint

  ///\relates LpBase::Constr

  ///

  inline LpBase::Constr operator==(const LpBase::Expr &e,

                                   const LpBase::Expr &f) {

    return LpBase::Constr(0, f - e, 0);

  }

  ///Create constraint

  ///\relates LpBase::Constr

  ///

  inline LpBase::Constr operator<=(const LpBase::Value &n,

                                   const LpBase::Constr &c) {

    LpBase::Constr tmp(c);

    LEMON_ASSERT(isNaN(tmp.lowerBound()), "Wrong LP constraint");

    tmp.lowerBound()=n;

    return tmp;

  }

  ///Create constraint

  ///\relates LpBase::Constr

  ///

  inline LpBase::Constr operator<=(const LpBase::Constr &c,

                                   const LpBase::Value &n)

  {

    LpBase::Constr tmp(c);

    LEMON_ASSERT(isNaN(tmp.upperBound()), "Wrong LP constraint");

    tmp.upperBound()=n;

    return tmp;

  }

  ///Create constraint

  ///\relates LpBase::Constr

  ///

  inline LpBase::Constr operator>=(const LpBase::Value &n,

                                   const LpBase::Constr &c) {

    LpBase::Constr tmp(c);

    LEMON_ASSERT(isNaN(tmp.upperBound()), "Wrong LP constraint");

    tmp.upperBound()=n;

    return tmp;

  }

  ///Create constraint

  ///\relates LpBase::Constr

  ///

  inline LpBase::Constr operator>=(const LpBase::Constr &c,

                                   const LpBase::Value &n)

  {

    LpBase::Constr tmp(c);

    LEMON_ASSERT(isNaN(tmp.lowerBound()), "Wrong LP constraint");

    tmp.lowerBound()=n;

    return tmp;

  }

  ///Addition

  ///\relates LpBase::DualExpr

  ///

  inline LpBase::DualExpr operator+(const LpBase::DualExpr &a,

                                    const LpBase::DualExpr &b) {

    LpBase::DualExpr tmp(a);

    tmp+=b;

    return tmp;

  }

  ///Substraction

  ///\relates LpBase::DualExpr

  ///

  inline LpBase::DualExpr operator-(const LpBase::DualExpr &a,

                                    const LpBase::DualExpr &b) {

    LpBase::DualExpr tmp(a);

    tmp-=b;

    return tmp;

  }

  ///Multiply with constant

  ///\relates LpBase::DualExpr

  ///

  inline LpBase::DualExpr operator*(const LpBase::DualExpr &a,

                                    const LpBase::Value &b) {

    LpBase::DualExpr tmp(a);

    tmp*=b;

  lp.colUpperBound(z,1);

  lp.colBounds(z,1,2);

  {

    LP::Expr e,f,g;

    LP::Col p1,p2,p3,p4,p5;

    LP::Constr c;

    p1=lp.addCol();

    p2=lp.addCol();

    p3=lp.addCol();

    p4=lp.addCol();

    p5=lp.addCol();

    e[p1]=2;

    *e=12;

    e[p1]+=2;

    *e+=12;

    e[p1]-=2;

    *e-=12;

    e=2;

    e=2.2;

    e=p1;

    e=f;

    e+=2;

    e+=2.2;

    e+=p1;

    e+=f;

    e-=2;

    e-=2.2;

    e-=p1;

    e-=f;

    e*=2;

    e*=2.2;

    e/=2;

    e/=2.2;

    e=((p1+p2)+(p1-p2)+(p1+12)+(12+p1)+(p1-12)+(12-p1)+

       (f+12)+(12+f)+(p1+f)+(f+p1)+(f+g)+

       (f-12)+(12-f)+(p1-f)+(f-p1)+(f-g)+

       2.2*f+f*2.2+f/2.2+

       2*f+f*2+f/2+

       2.2*p1+p1*2.2+p1/2.2+

       2*p1+p1*2+p1/2

       );

    c = (e  <= f  );

    c = (e  <= 2.2);

    c = (e  <= 2  );

    c = (e  <= p1 );

    c = (2.2<= f  );

    c = (2  <= f  );

    c = (p1 <= f  );

    c = (p1 <= p2 );

    c = (p1 <= 2.2);

    c = (p1 <= 2  );

    c = (2.2<= p2 );

    c = (2  <= p2 );

    c = (e  >= f  );

    c = (e  >= 2.2);

    c = (e  >= 2  );

    c = (e  >= p1 );

    c = (2.2>= f  );

    c = (2  >= f  );

    c = (p1 >= f  );

    c = (p1 >= p2 );

    c = (p1 >= 2.2);

    c = (p1 >= 2  );

    c = (2.2>= p2 );

    c = (2  >= p2 );

    c = (e  == f  );

    c = (e  == 2.2);

    c = (e  == 2  );

    c = (e  == p1 );

    c = (2.2== f  );

    c = (2  == f  );

    c = (p1 == f  );

    //c = (p1 == p2 );

    c = (p1 == 2.2);

    c = (p1 == 2  );

    c = (2.2== p2 );

    c = (2  == p2 );

    c = ((2 <= e) <= 3);

    c = ((2 <= p1) <= 3);

    c = ((2 >= e) >= 3);

    c = ((2 >= p1) >= 3);

    e[x[3]]=2;

    e[x[3]]=4;

    e[x[3]]=1;

    *e=12;

    lp.addRow(-LP::INF,e,23);

    lp.addRow(-LP::INF,3.0*(x[1]+x[2]/2)-x[3],23);

    lp.addRow(-LP::INF,3.0*(x[1]+x[2]*2-5*x[3]+12-x[4]/3)+2*x[4]-4,23);

    lp.addRow(x[1]+x[3]<=x[5]-3);

    lp.addRow((-7<=x[1]+x[3]-12)<=3);

    lp.addRow(x[1]<=x[5]);

    std::ostringstream buf;

    e=((p1+p2)+(p1-0.99*p2));

    //e.prettyPrint(std::cout);

    //(e<=2).prettyPrint(std::cout);

    double tolerance=0.001;

    e.simplify(tolerance);

    buf << "Coeff. of p2 should be 0.01";

    check(e[p2]>0, buf.str());

    tolerance=0.02;

    e.simplify(tolerance);

    buf << "Coeff. of p2 should be 0";

    check(const_cast<const LpSolver::Expr&>(e)[p2]==0, buf.str());

    //Test for clone/new

    LP* lpnew = lp.newSolver();

    LP* lpclone = lp.cloneSolver();

    delete lpnew;

    delete lpclone;

  }

  {

    LP::DualExpr e,f,g;

    LP::Row p1 = INVALID, p2 = INVALID, p3 = INVALID,

      p4 = INVALID, p5 = INVALID;

    e[p1]=2;

    e[p1]+=2;

    e[p1]-=2;

    e=p1;

    e=f;

    e+=p1;

    e+=f;

    e-=p1;

    e-=f;

    e*=2;

    e*=2.2;

    e/=2;

    e/=2.2;

    e=((p1+p2)+(p1-p2)+

       (p1+f)+(f+p1)+(f+g)+

       (p1-f)+(f-p1)+(f-g)+

       2.2*f+f*2.2+f/2.2+

       2*f+f*2+f/2+

       2.2*p1+p1*2.2+p1/2.2+

       2*p1+p1*2+p1/2

       );

  }

}

void solveAndCheck(LpSolver& lp, LpSolver::ProblemType stat,

                   double exp_opt) {

  using std::string;

  lp.solve();

  std::ostringstream buf;

  buf << "PrimalType should be: " << int(stat) << int(lp.primalType());

  check(lp.primalType()==stat, buf.str());

  if (stat ==  LpSolver::OPTIMAL) {

    std::ostringstream sbuf;

    sbuf << "Wrong optimal value (" << lp.primal() <<") with "

         << lp.solverName() <<"\n     the right optimum is " << exp_opt;

    check(std::abs(lp.primal()-exp_opt) < 1e-3, sbuf.str());

  }

}

void aTest(LpSolver & lp)

{

  typedef LpSolver LP;

 //The following example is very simple