PPL C Language Interface
1.0
|
Types and functions for iterating on congruence systems. More...
#include <ppl_c_header.h>
Related Functions | |
(Note that these are not member functions.) | |
Constructors, Assignment and Destructor | |
int | ppl_new_Congruence_System_const_iterator (ppl_Congruence_System_const_iterator_t *pcit) |
Builds a new `const iterator' and writes a handle to it at address pcit . | |
int | ppl_new_Congruence_System_const_iterator_from_Congruence_System_const_iterator (ppl_Congruence_System_const_iterator_t *pcit, ppl_const_Congruence_System_const_iterator_t cit) |
Builds a const iterator that is a copy of cit ; writes a handle for the newly created const iterator at address pcit . | |
int | ppl_assign_Congruence_System_const_iterator_from_Congruence_System_const_iterator (ppl_Congruence_System_const_iterator_t dst, ppl_const_Congruence_System_const_iterator_t src) |
Assigns a copy of the const iterator src to dst . | |
int | ppl_delete_Congruence_System_const_iterator (ppl_const_Congruence_System_const_iterator_t cit) |
Invalidates the handle cit: this makes sure the corresponding resources will eventually be released. | |
Dereferencing, Incrementing and Equality Testing | |
int | ppl_Congruence_System_const_iterator_dereference (ppl_const_Congruence_System_const_iterator_t cit, ppl_const_Congruence_t *pc) |
Dereference cit writing a const handle to the resulting congruence at address pc . | |
int | ppl_Congruence_System_const_iterator_increment (ppl_Congruence_System_const_iterator_t cit) |
Increment cit so that it "points" to the next congruence. | |
int | ppl_Congruence_System_const_iterator_equal_test (ppl_const_Congruence_System_const_iterator_t x, ppl_const_Congruence_System_const_iterator_t y) |
Returns a positive integer if the iterators corresponding to x and y are equal; returns 0 if they are different. |
Types and functions for iterating on congruence systems.
The types and functions for congruence systems iterators provide read-only access to the elements of a congruence system by interfacing Congruence_System::const_iterator.