| 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.
1.5.7.1