ppl_Congruence_System_const_iterator_tag Interface Reference

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.

## Detailed Description

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.

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

- ppl_c_header.h