Return to integer_linear_inequalities.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/integer_linear_inequalities.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_integer_Vectors;           use Standard_integer_Vectors;
                      2: with Standard_Integer_Matrices;          use Standard_Integer_Matrices;
                      3:
                      4: package Integer_Linear_Inequalities is
                      5:
                      6: -- DESCRIPTION :
                      7: --   This package provides some routines for implementing the Farkas lemma.
                      8:
                      9:   procedure Integer_Complementary_Slackness
                     10:                  ( tableau : in out matrix; feasible : out boolean );
                     11:   procedure Integer_Complementary_Slackness
                     12:                  ( tableau : in out matrix; lastcol : in integer;
                     13:                    feasible : out boolean );
                     14:
                     15:   -- DESCRIPTION :
                     16:   --   Solves the complementary slackness problem: determines
                     17:   --   whether there exists a positive combination of the columns
                     18:   --   such that the right-hand side is satisfied.
                     19:
                     20:   -- ON ENTRY :
                     21:   --   tableau     inequalities as columns, last column is right hand side;
                     22:   --   lastcol     last column of interest in the tableau,
                     23:   --               when not provided, tableau'last(2)-1 is assumed.
                     24:
                     25:   -- ON RETURN :
                     26:   --   tableau     modified tableau of inequalities;
                     27:   --   feasible    if true then the solution is feasible.
                     28:
                     29: end Integer_Linear_Inequalities;