Return to degree_sets_tables.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product

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;