PPL C Language Interface
1.2
|
Types and functions for iterating on the disjuncts of a ppl_Pointset_Powerset_C_Polyhedron_tag. More...
Types and functions for iterating on the disjuncts of a ppl_Pointset_Powerset_C_Polyhedron_tag.
|
related |
Dereferences it
writing a const handle to the resulting disjunct at address d
.
it
is an non-const iterator, dereferencing it results in a handle to a const disjunct. This is because mutable iterators are meant to allow for the modification of the sequence of disjuncts (e.g., by dropping elements), while preventing direct modifications of the disjuncts they point to.d
is still owned by the powerset object: any function call on the owning powerset object may invalidate it. Moreover, d
should not be deleted directly: its resources will be released when deleting the owning powerset.