COIN-OR::LEMON - Graph Library

Changeset 482:ed54c0d13df0 in lemon for lemon/lp_glpk.h


Ignore:
Timestamp:
12/02/08 22:48:28 (11 years ago)
Author:
Balazs Dezso <deba@…>
Branch:
default
Children:
483:76ec7bd57026, 547:17cabb114d52
Phase:
public
Message:

Thorough redesign of the LP/MIP interface (#44)

  • Redesigned class structure
  • Redesigned iterators
  • Some functions in the basic interface redesigned
  • More complete setting functions
  • Ray retrieving functions
  • Lot of improvements
  • Cplex common env
  • CLP macro definition to config.h.in
  • Update lp.h to also use soplex and clp
  • Remove default_solver_name
  • New solverName() function in solvers
  • Handle exceptions for MipCplex? test
  • Rename tolerance parameter to epsilon
  • Rename MapIt? to CoeffIt?
  • Lot of documentation improvements
  • Various bugfixes
File:
1 edited

Legend:

Unmodified
Added
Removed
  • lemon/lp_glpk.h

    r481 r482  
    3636
    3737
     38  /// \brief Base interface for the GLPK LP and MIP solver
     39  ///
     40  /// This class implements the common interface of the GLPK LP and MIP solver.
     41  /// \ingroup lp_group
     42  class GlpkBase : virtual public LpBase {
     43  protected:
     44
     45    typedef glp_prob LPX;
     46    glp_prob* lp;
     47
     48    GlpkBase();
     49    GlpkBase(const GlpkBase&);
     50    virtual ~GlpkBase();
     51
     52  protected:
     53
     54    virtual int _addCol();
     55    virtual int _addRow();
     56
     57    virtual void _eraseCol(int i);
     58    virtual void _eraseRow(int i);
     59
     60    virtual void _eraseColId(int i);
     61    virtual void _eraseRowId(int i);
     62
     63    virtual void _getColName(int col, std::string& name) const;
     64    virtual void _setColName(int col, const std::string& name);
     65    virtual int _colByName(const std::string& name) const;
     66
     67    virtual void _getRowName(int row, std::string& name) const;
     68    virtual void _setRowName(int row, const std::string& name);
     69    virtual int _rowByName(const std::string& name) const;
     70
     71    virtual void _setRowCoeffs(int i, ExprIterator b, ExprIterator e);
     72    virtual void _getRowCoeffs(int i, InsertIterator b) const;
     73
     74    virtual void _setColCoeffs(int i, ExprIterator b, ExprIterator e);
     75    virtual void _getColCoeffs(int i, InsertIterator b) const;
     76
     77    virtual void _setCoeff(int row, int col, Value value);
     78    virtual Value _getCoeff(int row, int col) const;
     79
     80    virtual void _setColLowerBound(int i, Value value);
     81    virtual Value _getColLowerBound(int i) const;
     82
     83    virtual void _setColUpperBound(int i, Value value);
     84    virtual Value _getColUpperBound(int i) const;
     85
     86    virtual void _setRowLowerBound(int i, Value value);
     87    virtual Value _getRowLowerBound(int i) const;
     88
     89    virtual void _setRowUpperBound(int i, Value value);
     90    virtual Value _getRowUpperBound(int i) const;
     91
     92    virtual void _setObjCoeffs(ExprIterator b, ExprIterator e);
     93    virtual void _getObjCoeffs(InsertIterator b) const;
     94
     95    virtual void _setObjCoeff(int i, Value obj_coef);
     96    virtual Value _getObjCoeff(int i) const;
     97
     98    virtual void _setSense(Sense);
     99    virtual Sense _getSense() const;
     100
     101    virtual void _clear();
     102
     103  public:
     104
     105    ///Pointer to the underlying GLPK data structure.
     106    LPX *lpx() {return lp;}
     107    ///Const pointer to the underlying GLPK data structure.
     108    const LPX *lpx() const {return lp;}
     109
     110    ///Returns the constraint identifier understood by GLPK.
     111    int lpxRow(Row r) const { return rows(id(r)); }
     112
     113    ///Returns the variable identifier understood by GLPK.
     114    int lpxCol(Col c) const { return cols(id(c)); }
     115
     116  };
     117
    38118  /// \brief Interface for the GLPK LP solver
    39119  ///
    40120  /// This class implements an interface for the GLPK LP solver.
    41121  ///\ingroup lp_group
    42   class LpGlpk : virtual public LpSolverBase {
    43   protected:
    44 
    45     typedef glp_prob LPX;
    46     glp_prob* lp;
    47     bool solved;
    48 
    49   public:
    50 
    51     typedef LpSolverBase Parent;
    52 
     122  class LpGlpk : public GlpkBase, public LpSolver {
     123  public:
     124
     125    ///\e
    53126    LpGlpk();
    54     LpGlpk(const LpGlpk &);
    55     ~LpGlpk();
    56 
    57   protected:
    58     virtual LpSolverBase* _newLp();
    59     virtual LpSolverBase* _copyLp();
    60 
    61     virtual int _addCol();
    62     virtual int _addRow();
    63     virtual void _eraseCol(int i);
    64     virtual void _eraseRow(int i);
    65     virtual void _getColName(int col, std::string & name) const;
    66     virtual void _setColName(int col, const std::string & name);
    67     virtual int _colByName(const std::string& name) const;
    68     virtual void _setRowCoeffs(int i, ConstRowIterator b, ConstRowIterator e);
    69     virtual void _getRowCoeffs(int i, RowIterator b) const;
    70     virtual void _setColCoeffs(int i, ConstColIterator b, ConstColIterator e);
    71     virtual void _getColCoeffs(int i, ColIterator b) const;
    72     virtual void _setCoeff(int row, int col, Value value);
    73     virtual Value _getCoeff(int row, int col) const;
    74 
    75     virtual void _setColLowerBound(int i, Value value);
    76     virtual Value _getColLowerBound(int i) const;
    77     virtual void _setColUpperBound(int i, Value value);
    78     virtual Value _getColUpperBound(int i) const;
    79 
    80     virtual void _setRowBounds(int i, Value lower, Value upper);
    81     virtual void _getRowBounds(int i, Value &lb, Value &ub) const;
    82     virtual void _setObjCoeff(int i, Value obj_coef);
    83     virtual Value _getObjCoeff(int i) const;
    84     virtual void _clearObj();
    85 
    86     ///\e
    87 
    88     ///\todo It should be clarified
    89     ///
     127    ///\e
     128    LpGlpk(const LpGlpk&);
     129
     130  private:
     131
     132    mutable std::vector<double> _primal_ray;
     133    mutable std::vector<double> _dual_ray;
     134
     135    void _clear_temporals();
     136
     137  protected:
     138
     139    virtual LpGlpk* _cloneSolver() const;
     140    virtual LpGlpk* _newSolver() const;
     141
     142    virtual const char* _solverName() const;
     143
    90144    virtual SolveExitStatus _solve();
    91145    virtual Value _getPrimal(int i) const;
    92146    virtual Value _getDual(int i) const;
     147
    93148    virtual Value _getPrimalValue() const;
    94     virtual bool _isBasicCol(int i) const;
    95     ///\e
     149
     150    virtual VarStatus _getColStatus(int i) const;
     151    virtual VarStatus _getRowStatus(int i) const;
     152
     153    virtual Value _getPrimalRay(int i) const;
     154    virtual Value _getDualRay(int i) const;
    96155
    97156    ///\todo It should be clarified
    98157    ///
    99     virtual SolutionStatus _getPrimalStatus() const;
    100     virtual SolutionStatus _getDualStatus() const;
    101     virtual ProblemTypes _getProblemType() const;
    102 
    103     virtual void _setMax();
    104     virtual void _setMin();
    105 
    106     virtual bool _isMax() const;
    107 
    108   public:
    109     ///Set the verbosity of the messages
    110 
    111     ///Set the verbosity of the messages
    112     ///
    113     ///\param m is the level of the messages output by the solver routines.
    114     ///The possible values are:
    115     ///- 0 --- no output (default value)
    116     ///- 1 --- error messages only
    117     ///- 2 --- normal output
    118     ///- 3 --- full output (includes informational messages)
    119     void messageLevel(int m);
     158    virtual ProblemType _getPrimalType() const;
     159    virtual ProblemType _getDualType() const;
     160
     161  public:
     162
     163    ///Solve with primal simplex
     164    SolveExitStatus solvePrimal();
     165
     166    ///Solve with dual simplex
     167    SolveExitStatus solveDual();
     168
    120169    ///Turns on or off the presolver
    121170
     
    125174    void presolver(bool b);
    126175
    127     ///Pointer to the underlying GLPK data structure.
    128     LPX *lpx() {return lp;}
    129 
    130     ///Returns the constraint identifier understood by GLPK.
    131     int lpxRow(Row r) { return _lpId(r); }
    132 
    133     ///Returns the variable identifier understood by GLPK.
    134     int lpxCol(Col c) { return _lpId(c); }
     176    ///Enum for \c messageLevel() parameter
     177    enum MessageLevel {
     178      /// no output (default value)
     179      MESSAGE_NO_OUTPUT = 0,
     180      /// error messages only
     181      MESSAGE_ERROR_MESSAGE = 1,
     182      /// normal output
     183      MESSAGE_NORMAL_OUTPUT = 2,
     184      /// full output (includes informational messages)
     185      MESSAGE_FULL_OUTPUT = 3
     186    };
     187
     188  private:
     189
     190    MessageLevel _message_level;
     191
     192  public:
     193
     194    ///Set the verbosity of the messages
     195
     196    ///Set the verbosity of the messages
     197    ///
     198    ///\param m is the level of the messages output by the solver routines.
     199    void messageLevel(MessageLevel m);
    135200  };
     201
     202  /// \brief Interface for the GLPK MIP solver
     203  ///
     204  /// This class implements an interface for the GLPK MIP solver.
     205  ///\ingroup lp_group
     206  class MipGlpk : public GlpkBase, public MipSolver {
     207  public:
     208
     209    ///\e
     210    MipGlpk();
     211    ///\e
     212    MipGlpk(const MipGlpk&);
     213
     214  protected:
     215
     216    virtual MipGlpk* _cloneSolver() const;
     217    virtual MipGlpk* _newSolver() const;
     218
     219    virtual const char* _solverName() const;
     220
     221    virtual ColTypes _getColType(int col) const;
     222    virtual void _setColType(int col, ColTypes col_type);
     223
     224    virtual SolveExitStatus _solve();
     225    virtual ProblemType _getType() const;
     226    virtual Value _getSol(int i) const;
     227    virtual Value _getSolValue() const;
     228
     229    ///Enum for \c messageLevel() parameter
     230    enum MessageLevel {
     231      /// no output (default value)
     232      MESSAGE_NO_OUTPUT = 0,
     233      /// error messages only
     234      MESSAGE_ERROR_MESSAGE = 1,
     235      /// normal output
     236      MESSAGE_NORMAL_OUTPUT = 2,
     237      /// full output (includes informational messages)
     238      MESSAGE_FULL_OUTPUT = 3
     239    };
     240
     241  private:
     242
     243    MessageLevel _message_level;
     244
     245  public:
     246
     247    ///Set the verbosity of the messages
     248
     249    ///Set the verbosity of the messages
     250    ///
     251    ///\param m is the level of the messages output by the solver routines.
     252    void messageLevel(MessageLevel m);
     253  };
     254
     255
    136256} //END OF NAMESPACE LEMON
    137257
Note: See TracChangeset for help on using the changeset viewer.