PPL C Language Interface
1.0
|
Types and functions for the Pointset_Powerset of C_Polyhedron objects. More...
Types and functions for the Pointset_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 functions that are available in all semantic geometric descriptions (whose documentation is not repeated here), the powerset domain also provides several ad hoc functions. In particular, the iterator types allow for the examination and manipulation of the collection of disjuncts.
|
related |
Writes to sz
the number of disjuncts in ps
.