ppl_Pointset_Powerset_C_Polyhedron_const_iterator_tag Interface Reference

Types and functions for iterating on the disjuncts of a const ppl_Pointset_Powerset_C_Polyhedron_tag. More...

## Related Functions

(Note that these are not member functions.)
Construction, Initialization and Destruction
int | ppl_new_Pointset_Powerset_C_Polyhedron_const_iterator (ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t *pit)
| Builds a new `const iterator' and writes a handle to it at address `pit`.
int | ppl_new_Pointset_Powerset_C_Polyhedron_const_iterator_from_const_iterator (ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t *pit, ppl_const_Pointset_Powerset_C_Polyhedron_const_iterator_t y)
| Builds a copy of `y` and writes a handle to it at address `pit`.
int | ppl_Pointset_Powerset_C_Polyhedron_const_iterator_begin (ppl_const_Pointset_Powerset_C_Polyhedron_t ps, ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t psit)
| Assigns to `psit` a const iterator "pointing" to the beginning of the sequence of disjuncts of `ps`.
int | ppl_Pointset_Powerset_C_Polyhedron_const_iterator_end (ppl_const_Pointset_Powerset_C_Polyhedron_t ps, ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t psit)
| Assigns to `psit` a const iterator "pointing" past the end of the sequence of disjuncts of `ps`.
int | ppl_delete_Pointset_Powerset_C_Polyhedron_const_iterator (ppl_const_Pointset_Powerset_C_Polyhedron_const_iterator_t it)
| Invalidates the handle `it:` this makes sure the corresponding resources will eventually be released.
Dereferencing, Increment, Decrement and Equality Testing
int | ppl_Pointset_Powerset_C_Polyhedron_const_iterator_dereference (ppl_const_Pointset_Powerset_C_Polyhedron_const_iterator_t it, ppl_const_Polyhedron_t *d)
| Dereferences `it` writing a const handle to the resulting disjunct at address `d`. More...
int | ppl_Pointset_Powerset_C_Polyhedron_const_iterator_increment (ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t it)
| Increments `it` so that it "points" to the next disjunct.
int | ppl_Pointset_Powerset_C_Polyhedron_const_iterator_decrement (ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t it)
| Decrements `it` so that it "points" to the previous disjunct.
int | ppl_Pointset_Powerset_C_Polyhedron_const_iterator_equal_test (ppl_const_Pointset_Powerset_C_Polyhedron_const_iterator_t x, ppl_const_Pointset_Powerset_C_Polyhedron_const_iterator_t y)
| Returns a positive integer if the iterators corresponding to `x` and `y` are equal; returns 0 if they are different.

## Detailed Description

Types and functions for iterating on the disjuncts of a const ppl_Pointset_Powerset_C_Polyhedron_tag.

## Friends And Related Function Documentation

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

Warning
  On exit, the disjunct `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.

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

- C_interface.dox