Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/degree_sets_tables.ads, Revision 1.1.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>