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     ! 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;