parma_polyhedra_library.Pointset_Powerset_C_Polyhedron Class Reference

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 this all 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 true if and only if this geometrically covers y.
native boolean	geometrically_equals (Pointset_Powerset_C_Polyhedron y)
	Returns true if and only if this is geometrically equal to y.
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 this a copy of disjunct d.
native void	drop_disjunct (Pointset_Powerset_C_Polyhedron_Iterator iter)
	Drops from this the disjunct referred by iter; 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 this all the disjuncts from first to last (excluded).
native void	pairwise_reduce ()
	Modifies this by (recursively) merging together the pairs of disjuncts whose upper-bound is the same as their set-theoretical union.

Detailed Description

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.

Member Function Documentation

native long parma_polyhedra_library.Pointset_Powerset_C_Polyhedron.size

(

)

Returns the number of disjuncts.

If present, Omega-redundant elements will be counted too.

---

The documentation for this class was generated from the following file:

• Fake_Class_for_Doxygen.java