Types and functions for iterating on the disjuncts of a const ppl_Pointset_Powerset_C_Polyhedron_tag. More...
Types and functions for iterating on the disjuncts of a const ppl_Pointset_Powerset_C_Polyhedron_tag.
int ppl_Pointset_Powerset_C_Polyhedron_const_iterator_dereference | ( | ppl_const_Pointset_Powerset_C_Polyhedron_const_iterator_t | it, | |
ppl_const_Polyhedron_t * | d | |||
) | [related] |
Dereferences it
writing a const handle to the resulting disjunct at address d
.
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.