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