Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/degree_sets_tables.ads, Revision 1.1
1.1 ! maekawa 1: with Standard_Integer_Matrices; use Standard_Integer_Matrices;
! 2: with Sets_of_Unknowns; use Sets_of_Unknowns;
! 3:
! 4: package Degree_Sets_Tables is
! 5:
! 6: -- DESCRIPTION :
! 7: -- This package provides facilities for computing generalized permanents,
! 8: -- based on a set structure.
! 9:
! 10: -- DATASTRUCTURES :
! 11:
! 12: type Array_of_Sets is array ( integer range <> ) of Set;
! 13:
! 14: type Degree_Sets_Table ( n,m : natural ) is record
! 15: s : Array_of_Sets(1..m);
! 16: a : Matrix(1..n,1..m);
! 17: end record;
! 18:
! 19: -- CONSTRUCTOR :
! 20:
! 21: function Create return Degree_Sets_Table;
! 22:
! 23: -- DESCRIPTION :
! 24: -- Selects the information from the package Set_Structure to create
! 25: -- a degree set structure table.
! 26:
! 27: -- PERMANENT COMPUTATIONS :
! 28:
! 29: function Permanent ( dst : Degree_Sets_Table ) return natural;
! 30:
! 31: -- DESCRIPTION :
! 32: -- Returns the generalized permanent, based on the set structure.
! 33:
! 34: -- DESTRUCTOR :
! 35:
! 36: procedure Clear ( ase : in out Array_of_Sets );
! 37: procedure Clear ( dst : in out Degree_Sets_Table );
! 38:
! 39: -- DESCRIPTION :
! 40: -- Deallocates the space occupied by the array of sets.
! 41:
! 42: end Degree_Sets_Tables;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>