alpar@461: /* -*- mode: C++; indent-tabs-mode: nil; -*- alpar@461: * alpar@461: * This file is a part of LEMON, a generic C++ optimization library. alpar@461: * alpar@461: * Copyright (C) 2003-2008 alpar@461: * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport alpar@461: * (Egervary Research Group on Combinatorial Optimization, EGRES). alpar@461: * alpar@461: * Permission to use, modify and distribute this software is granted alpar@461: * provided that this copyright notice appears in all copies. For alpar@461: * precise terms see the accompanying LICENSE file. alpar@461: * alpar@461: * This software is provided "AS IS" with no warranty of any kind, alpar@461: * express or implied, and with no claim as to its suitability for any alpar@461: * purpose. alpar@461: * alpar@461: */ alpar@461: alpar@461: #ifndef LEMON_SOPLEX_H alpar@461: #define LEMON_SOPLEX_H alpar@461: alpar@461: ///\file alpar@461: ///\brief Header of the LEMON-SOPLEX lp solver interface. alpar@461: alpar@461: #include alpar@461: #include alpar@461: alpar@461: #include alpar@461: alpar@461: // Forward declaration alpar@461: namespace soplex { alpar@461: class SoPlex; alpar@461: } alpar@461: alpar@461: namespace lemon { alpar@461: alpar@461: /// \ingroup lp_group alpar@461: /// alpar@461: /// \brief Interface for the SOPLEX solver alpar@461: /// alpar@461: /// This class implements an interface for the SoPlex LP solver. alpar@461: /// The SoPlex library is an object oriented lp solver library alpar@461: /// developed at the Konrad-Zuse-Zentrum für Informationstechnik alpar@461: /// Berlin (ZIB). You can find detailed information about it at the alpar@461: /// http://soplex.zib.de address. alpar@462: class SoplexLp : public LpSolver { alpar@461: private: alpar@461: alpar@461: soplex::SoPlex* soplex; alpar@461: alpar@461: std::vector _col_names; alpar@461: std::map _col_names_ref; alpar@461: alpar@461: std::vector _row_names; alpar@461: std::map _row_names_ref; alpar@461: alpar@461: private: alpar@461: alpar@461: // these values cannot be retrieved element by element alpar@461: mutable std::vector _primal_values; alpar@461: mutable std::vector _dual_values; alpar@461: alpar@461: mutable std::vector _primal_ray; alpar@461: mutable std::vector _dual_ray; alpar@461: alpar@461: void _clear_temporals(); alpar@461: alpar@461: public: alpar@461: alpar@461: /// \e alpar@462: SoplexLp(); alpar@461: /// \e alpar@462: SoplexLp(const SoplexLp&); alpar@461: /// \e alpar@462: ~SoplexLp(); alpar@540: /// \e alpar@540: virtual SoplexLp* newSolver() const; alpar@540: /// \e alpar@540: virtual SoplexLp* cloneSolver() const; alpar@461: alpar@461: protected: alpar@461: alpar@461: virtual const char* _solverName() const; alpar@461: alpar@461: virtual int _addCol(); alpar@461: virtual int _addRow(); deba@746: virtual int _addRow(Value l, ExprIterator b, ExprIterator e, Value u); alpar@461: alpar@461: virtual void _eraseCol(int i); alpar@461: virtual void _eraseRow(int i); alpar@461: alpar@461: virtual void _eraseColId(int i); alpar@461: virtual void _eraseRowId(int i); alpar@461: alpar@461: virtual void _getColName(int col, std::string& name) const; alpar@461: virtual void _setColName(int col, const std::string& name); alpar@461: virtual int _colByName(const std::string& name) const; alpar@461: alpar@461: virtual void _getRowName(int row, std::string& name) const; alpar@461: virtual void _setRowName(int row, const std::string& name); alpar@461: virtual int _rowByName(const std::string& name) const; alpar@461: alpar@461: virtual void _setRowCoeffs(int i, ExprIterator b, ExprIterator e); alpar@461: virtual void _getRowCoeffs(int i, InsertIterator b) const; alpar@461: alpar@461: virtual void _setColCoeffs(int i, ExprIterator b, ExprIterator e); alpar@461: virtual void _getColCoeffs(int i, InsertIterator b) const; alpar@461: alpar@461: virtual void _setCoeff(int row, int col, Value value); alpar@461: virtual Value _getCoeff(int row, int col) const; alpar@461: alpar@461: virtual void _setColLowerBound(int i, Value value); alpar@461: virtual Value _getColLowerBound(int i) const; alpar@461: virtual void _setColUpperBound(int i, Value value); alpar@461: virtual Value _getColUpperBound(int i) const; alpar@461: alpar@461: virtual void _setRowLowerBound(int i, Value value); alpar@461: virtual Value _getRowLowerBound(int i) const; alpar@461: virtual void _setRowUpperBound(int i, Value value); alpar@461: virtual Value _getRowUpperBound(int i) const; alpar@461: alpar@461: virtual void _setObjCoeffs(ExprIterator b, ExprIterator e); alpar@461: virtual void _getObjCoeffs(InsertIterator b) const; alpar@461: alpar@461: virtual void _setObjCoeff(int i, Value obj_coef); alpar@461: virtual Value _getObjCoeff(int i) const; alpar@461: alpar@461: virtual void _setSense(Sense sense); alpar@461: virtual Sense _getSense() const; alpar@461: alpar@461: virtual SolveExitStatus _solve(); alpar@461: virtual Value _getPrimal(int i) const; alpar@461: virtual Value _getDual(int i) const; alpar@461: alpar@461: virtual Value _getPrimalValue() const; alpar@461: alpar@461: virtual Value _getPrimalRay(int i) const; alpar@461: virtual Value _getDualRay(int i) const; alpar@461: alpar@461: virtual VarStatus _getColStatus(int i) const; alpar@461: virtual VarStatus _getRowStatus(int i) const; alpar@461: alpar@461: virtual ProblemType _getPrimalType() const; alpar@461: virtual ProblemType _getDualType() const; alpar@461: alpar@461: virtual void _clear(); alpar@461: deba@576: void _messageLevel(MessageLevel m); deba@576: void _applyMessageLevel(); deba@576: deba@576: int _message_level; deba@576: alpar@461: }; alpar@461: alpar@461: } //END OF NAMESPACE LEMON alpar@461: alpar@461: #endif //LEMON_SOPLEX_H alpar@461: