Changeset 1291:16cde3e1aa9f in lemon-0.x for src/work

Timestamp:

04/01/05 15:42:58 (20 years ago)

Author:

athos

Branch:

default

Phase:

public

Convert:

svn:c9d7d8f5-90d6-0310-b91f-818b3a526b0e/lemon/trunk@1724

Message:

Conceptions and bug fixes.

File:

• src/work/athos/lp/lp_base.h (modified) (6 diffs)

src/work/athos/lp/lp_base.h

@@ -106 +106 @@
 
     ///\e
+    enum SolutionXXXType {
+      ///\e
+      INFEASIBLE = 0,
+      ///\e
+      UNBOUNDED = 1,
+      ///\e
+      OPTIMAL = 2,
+      ///\e
+      FEASIBLE = 3
+    };
+      
+    ///\e
     enum SolutionType {
       ///\e
       INFEASIBLE = 0,
       ///\e
-      UNBOUNDED = 1,
+      UNDEFINED = 1,
       ///\e
       OPTIMAL = 2,
       ///\e
-      FEASIBLE = 3,
+      FEASIBLE = 3
     };
       
@@ -407 +419 @@
     ///\bug Wrong interface
     ///
-    virtual SolutionType _solve() = 0;
+    virtual SolutionXXXType _solve() = 0;
 
     ///\e
@@ -567 +579 @@
     /// extended number of type Value, i.e. a finite number of type 
     /// Value or -\ref INF.
-    virtual void setColLowerBound(Col c, Value value) {
+    void setColLowerBound(Col c, Value value) {
       _setColLowerBound(cols.floatingId(c.id),value);
     }
@@ -575 +587 @@
     /// extended number of type Value, i.e. a finite number of type 
     /// Value or \ref INF.
-    virtual void setColUpperBound(Col c, Value value) {
+    void setColUpperBound(Col c, Value value) {
       _setColUpperBound(cols.floatingId(c.id),value);
     };
@@ -583 +595 @@
     /// extended number of type Value, i.e. a finite number of type 
     /// Value or -\ref INF.
-    virtual void setRowLowerBound(Row r, Value value) {
+    void setRowLowerBound(Row r, Value value) {
       _setRowLowerBound(rows.floatingId(r.id),value);
     };
@@ -591 +603 @@
     /// extended number of type Value, i.e. a finite number of type 
     /// Value or \ref INF.
-    virtual void setRowUpperBound(Row r, Value value) {
+    void setRowUpperBound(Row r, Value value) {
       _setRowUpperBound(rows.floatingId(r.id),value);
     };