Return to partitions_of_sets_of_unknowns.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/partitions_of_sets_of_unknowns.ads, Revision 1.1.1.1

1.1       maekawa     1: with Sets_of_Unknowns;                   use Sets_of_Unknowns;
                      2:
                      3: package Partitions_of_Sets_of_Unknowns is
                      4:
                      5: -- DESCRIPTION :
                      6: --   This package provides a data abstraction for enumerating all
                      7: --   partitions of a given set of unknowns.
                      8:
                      9:   type partition is array ( positive range <> ) of Set;
                     10:
                     11: -- CREATORS :
                     12:
                     13:   procedure Create ( p : in out Partition; n : in natural );
                     14:
                     15:   -- DESCRIPTION :
                     16:   --   Creates all sets in the partition, to be ready to contain
                     17:   --   at most n unknowns.
                     18:
                     19:   function Create ( p : Partition ) return Partition;
                     20:
                     21:   -- DESCRIPTION :
                     22:   --   Returns a new partition which is an exact copy of the given one.
                     23:
                     24: -- CONSTRUCTORS :
                     25:
                     26:   generic
                     27:     with procedure Process ( p : in Partition; continue : out boolean );
                     28:   procedure Generate_Partitions ( s : in Set );
                     29:
                     30:   -- DESCRIPTION :
                     31:   --   Generates all partitions of a given set of unknowns.
                     32:   --   The procedure Process is invoked each time a new partition is
                     33:   --   generated.  The generation can be stopped by setting
                     34:   --   continue to false.  Otherwise, when continue is set to true,
                     35:   --   the generation continues.
                     36:
                     37:   -- NOTE :
                     38:   --   While processing the partition, it might be needed to copy
                     39:   --   the resulting partition, as sharing occurs.
                     40:
                     41: -- SELECTOR :
                     42:
                     43:   function Number_of_Partitions ( n : natural ) return natural;
                     44:
                     45:   -- DESCRIPTION :
                     46:   --   Returns the number of partitions of a set of n unknowns.
                     47:
                     48: -- DESTRUCTOR :
                     49:
                     50:   procedure Clear ( p : in out Partition );
                     51:
                     52:   -- DESCRIPTION :
                     53:   --   Deallocates the occupied memory.
                     54:
                     55: end Partitions_of_Sets_of_Unknowns;