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_delete_Pointset_Powerset_C_Polyhedron_const_iterator | ( | ppl_const_Pointset_Powerset_C_Polyhedron_const_iterator_t | it | ) | [related] |
Invalidates the handle it: this makes sure the corresponding resources will eventually be released.
| int ppl_new_Pointset_Powerset_C_Polyhedron_const_iterator | ( | ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t * | pit | ) | [related] |
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 | |||
| ) | [related] |
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 | |||
| ) | [related] |
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_decrement | ( | ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t | it | ) | [related] |
Decrements it so that it "points" to the previous disjunct.
| 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. | 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 | |||
| ) | [related] |
Assigns to psit a const iterator "pointing" past the end of the sequence of disjuncts of ps.
| 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 | |||
| ) | [related] |
Returns a positive integer if the iterators corresponding to x and y are equal; returns 0 if they are different.
| int ppl_Pointset_Powerset_C_Polyhedron_const_iterator_increment | ( | ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t | it | ) | [related] |
Increments it so that it "points" to the next disjunct.
1.6.3