| PPL Java Language Interface
    1.2
    | 
A powerset of C_Polyhedron objects. More...
Inherits parma_polyhedra_library.PPL_Object.
| Public Member Functions | |
| Ad Hoc Functions for Pointset_Powerset domains | |
| native void | omega_reduce () | 
| Drops from the sequence of disjuncts in thisall the non-maximal elements, so that a non-redundant powerset if obtained. | |
| native long | size () | 
| Returns the number of disjuncts.  More... | |
| native boolean | geometrically_covers (Pointset_Powerset_C_Polyhedron y) | 
| Returns trueif and only ifthisgeometrically coversy. | |
| native boolean | geometrically_equals (Pointset_Powerset_C_Polyhedron y) | 
| Returns trueif and only ifthisis geometrically equal toy. | |
| native Pointset_Powerset_C_Polyhedron_Iterator | begin_iterator () | 
| Returns an iterator referring to the beginning of the sequence of disjuncts of this. | |
| native Pointset_Powerset_C_Polyhedron_Iterator | end_iterator () | 
| Returns an iterator referring to past the end of the sequence of disjuncts of this. | |
| native void | add_disjunct (C_Polyhedron d) | 
| Adds to thisa copy of disjunctd. | |
| native void | drop_disjunct (Pointset_Powerset_C_Polyhedron_Iterator iter) | 
| Drops from thisthe disjunct referred byiter; returns an iterator referring to the disjunct following the dropped one. | |
| native void | drop_disjuncts (Pointset_Powerset_C_Polyhedron_Iterator first, Pointset_Powerset_C_Polyhedron_Iterator last) | 
| Drops from thisall the disjuncts fromfirsttolast(excluded). | |
| native void | pairwise_reduce () | 
| Modifies thisby (recursively) merging together the pairs of disjuncts whose upper-bound is the same as their set-theoretical union. | |
A powerset of C_Polyhedron objects.
The powerset domains can be instantiated by taking as a base domain any fixed semantic geometric description (C and NNC polyhedra, BD and octagonal shapes, boxes and grids). An element of the powerset domain represents a disjunctive collection of base objects (its disjuncts), all having the same space dimension.
Besides the methods that are available in all semantic geometric descriptions (whose documentation is not repeated here), the powerset domain also provides several ad hoc methods. In particular, the iterator types allow for the examination and manipulation of the collection of disjuncts.
| native long parma_polyhedra_library.Pointset_Powerset_C_Polyhedron.size | ( | ) | 
Returns the number of disjuncts.
If present, Omega-redundant elements will be counted too.