lemon-0.x: src/work/athos/lp/lp_solver

     1 // -*- c++ -*-

     2 #ifndef LEMON_LP_SOLVER_BASE_H

     3 #define LEMON_LP_SOLVER_BASE_H

     5 ///\ingroup misc

     6 ///\file

     8 // #include <stdio.h>

     9 #include <stdlib.h>

    10 #include <iostream>

    11 #include <map>

    12 #include <limits>

    13 // #include <stdio>

    14 //#include <stdlib>

    16 #include <iostream>

    17 #include <vector>

    18 #include <string>

    19 #include <list>

    20 #include <memory>

    21 #include <utility>

    23 //#include <lemon/invalid.h>

    24 //#include <expression.h>

    25 //#include <stp.h>

    26 //#include <lemon/max_flow.h>

    27 //#include <augmenting_flow.h>

    28 //#include <iter_map.h>

    30 using std::cout;

    31 using std::cin;

    32 using std::endl;

    34 namespace lemon {

    36   template <typename _Value>

    37   class LpSolverBase {

    39     /*! @name Uncategorized functions and types (public members)

    40     */

    41     //@{

    42   public:

    44     //UNCATEGORIZED

    46     /// \e

    47     typedef _Value Value;

    48     /// \e

    49     static const Value INF;

    50   public:

    51     /// \e

    52     LpSolverBase() { }

    53     /// \e

    54     virtual ~LpSolverBase() { }

    56     /*! @name Low level interface (protected members)

    57       Problem manipulating functions in the low level interface

    58     */

    59     //@{

    60   protected:

    62     //MATRIX MANIPULATING FUNCTIONS

    64     /// \e

    65     virtual int _addCol() = 0;

    66     /// \e

    67     virtual int _addRow() = 0;

    68     /// \e

    69     virtual void _eraseCol(int i) = 0;

    70     /// \e

    71     virtual void _eraseRow(int i) = 0;

    72     /// \e

    73     virtual void _setRowCoeffs(int i,

    74 			       const std::vector<std::pair<int, Value> >& coeffs) = 0;

    75     /// \e

    76     /// This routine modifies \c coeffs only by the \c push_back method.

    77     virtual void _getRowCoeffs(int i,

    78 			       std::vector<std::pair<int, Value> >& coeffs) = 0;

    79     /// \e

    80     virtual void _setColCoeffs(int i,

    81 			       const std::vector<std::pair<int, Value> >& coeffs) = 0;

    82     /// \e

    83     /// This routine modifies \c coeffs only by the \c push_back method.

    84     virtual void _getColCoeffs(int i,

    85 			       std::vector<std::pair<int, Value> >& coeffs) = 0;

    86     /// \e

    87     virtual void _setCoeff(int col, int row, Value value) = 0;

    88     /// \e

    89     virtual Value _getCoeff(int col, int row) = 0;

    90     //  public:

    91     //    /// \e

    92     //    enum Bound { FREE, LOWER, UPPER, DOUBLE, FIXED };

    93   protected:

    94     /// \e

    95     /// The lower bound of a variable (column) have to be given by an

    96     /// extended number of type Value, i.e. a finite number of type

    97     /// Value or -INF.

    98     virtual void _setColLowerBound(int i, Value value) = 0;

    99     /// \e

   100     /// The lower bound of a variable (column) is an

   101     /// extended number of type Value, i.e. a finite number of type

   102     /// Value or -INF.

   103     virtual Value _getColLowerBound(int i) = 0;

   104     /// \e

   105     /// The upper bound of a variable (column) have to be given by an

   106     /// extended number of type Value, i.e. a finite number of type

   107     /// Value or INF.

   108     virtual void _setColUpperBound(int i, Value value) = 0;

   109     /// \e

   110     /// The upper bound of a variable (column) is an

   111     /// extended number of type Value, i.e. a finite number of type

   112     /// Value or INF.

   113     virtual Value _getColUpperBound(int i) = 0;

   114     /// \e

   115     /// The lower bound of a linear expression (row) have to be given by an

   116     /// extended number of type Value, i.e. a finite number of type

   117     /// Value or -INF.

   118     virtual void _setRowLowerBound(int i, Value value) = 0;

   119     /// \e

   120     /// The lower bound of a linear expression (row) is an

   121     /// extended number of type Value, i.e. a finite number of type

   122     /// Value or -INF.

   123     virtual Value _getRowLowerBound(int i) = 0;

   124     /// \e

   125     /// The upper bound of a linear expression (row) have to be given by an

   126     /// extended number of type Value, i.e. a finite number of type

   127     /// Value or INF.

   128     virtual void _setRowUpperBound(int i, Value value) = 0;

   129     /// \e

   130     /// The upper bound of a linear expression (row) is an

   131     /// extended number of type Value, i.e. a finite number of type

   132     /// Value or INF.

   133     virtual Value _getRowUpperBound(int i) = 0;

   134     /// \e

   135     virtual void _setObjCoeff(int i, Value obj_coef) = 0;

   136     /// \e

   137     virtual Value _getObjCoeff(int i) = 0;

   139     //SOLUTION RETRIEVING

   141     /// \e

   142     virtual Value _getPrimal(int i) = 0;

   143     //@}

   147     /*! @name MIP functions and types (public members)

   148     */

   149     //@{

   150   protected:

   151    /// \e

   152     virtual void _setColCont(int i) = 0;

   153     /// \e

   154     virtual void _setColInt(int i) = 0;

   155     /// \e

   156     virtual Value _getMIPPrimal(int i) = 0;

   157     //@}

   158   };

   160 } //namespace lemon

   162 #endif //LEMON_LP_SOLVER_BASE_H

author	athos
	Thu, 07 Apr 2005 09:42:31 +0000
changeset 1314	9269c76551cf
permissions	-rw-r--r--