| PPL C Language Interface
    1.2
    | 
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 addresspcit. | |
| 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 srctodst. | |
| 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 citwriting a const handle to the resulting congruence at addresspc. | |
| int | ppl_Congruence_System_const_iterator_increment (ppl_Congruence_System_const_iterator_t cit) | 
| Increment citso 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 xandyare 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.