diff -r 1765ff9fefa1 -r 4b0468de3a31 src/work/marci/lp/lp_solver_base.h
--- a/src/work/marci/lp/lp_solver_base.h	Wed Feb 16 21:40:16 2005 +0000
+++ b/src/work/marci/lp/lp_solver_base.h	Thu Feb 17 15:14:13 2005 +0000
@@ -619,6 +619,8 @@
     virtual void _setColCont(int i) = 0;
     /// \e
     virtual void _setColInt(int i) = 0;
+    /// \e
+    virtual _Value _getMIPPrimal(int i) = 0;
   public:
     /// \e
     void setColCont(Col col) {
@@ -628,6 +630,10 @@
     void setColInt(Col col) {
       _setColInt(col_iter_map[col]);
     }
+    /// \e
+    _Value getMIPPrimal(Col col) {
+      return _getMIPPrimal(col_iter_map[col]);
+    }
     //@}
   };
   
@@ -1096,9 +1102,11 @@
     void setMIP() { lpx_set_class(lp, LPX_MIP); }
   protected:
     /// \e
-    void _setColCont(int i) {lpx_set_col_kind(lp, i, LPX_CV); }
+    void _setColCont(int i) { lpx_set_col_kind(lp, i, LPX_CV); }
     /// \e
-    void _setColInt(int i) {lpx_set_col_kind(lp, i, LPX_IV); }
+    void _setColInt(int i) { lpx_set_col_kind(lp, i, LPX_IV); }
+    /// \e
+    double _getMIPPrimal(int i) { return lpx_mip_col_val(lp, i); }
   };
   
   /// @}