PPL C Language Interface  1.0
ppl_Congruence_System_const_iterator_tag Interface Reference

Types and functions for iterating on congruence systems. More...

#include <ppl_c_header.h>

List of all members.

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: