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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>