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     ! 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;