Types and functions for 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 (ppl_Congruence_System_t *pcs)
	Builds an empty system of congruences and writes a handle to it at address `pcs`. More...

int	ppl_new_Congruence_System_zero_dim_empty (ppl_Congruence_System_t *pcs)
	Builds a zero-dimensional, unsatisfiable congruence system and writes a handle to it at address `pcs`. More...

int	ppl_new_Congruence_System_from_Congruence (ppl_Congruence_System_t *pcs, ppl_const_Congruence_t c)
	Builds the singleton congruence system containing only a copy of congruence `c`; writes a handle for the newly created system at address `pcs`. More...

int	ppl_new_Congruence_System_from_Congruence_System (ppl_Congruence_System_t *pcs, ppl_const_Congruence_System_t cs)
	Builds a congruence system that is a copy of `cs`; writes a handle for the newly created system at address `pcs`. More...

int	ppl_assign_Congruence_System_from_Congruence_System (ppl_Congruence_System_t dst, ppl_const_Congruence_System_t src)
	Assigns a copy of the congruence system `src` to `dst`. More...

int	ppl_delete_Congruence_System (ppl_const_Congruence_System_t cs)
	Invalidates the handle `cs:` this makes sure the corresponding resources will eventually be released. More...

Functions that Do Not Modify the Congruence System
int	ppl_Congruence_System_space_dimension (ppl_const_Congruence_System_t cs, ppl_dimension_type *m)
	Writes to `m` the dimension of the vector space enclosing `cs`. More...

int	ppl_Congruence_System_empty (ppl_const_Congruence_System_t cs)
	Returns a positive integer if `cs` contains no (non-trivial) congruence; returns 0 otherwise. More...

int	ppl_Congruence_System_begin (ppl_const_Congruence_System_t cs, ppl_Congruence_System_const_iterator_t cit)
	Assigns to `cit` a const iterator "pointing" to the beginning of the congruence system `cs`. More...

int	ppl_Congruence_System_end (ppl_const_Congruence_System_t cs, ppl_Congruence_System_const_iterator_t cit)
	Assigns to `cit` a const iterator "pointing" past the end of the congruence system `cs`. More...

int	ppl_Congruence_System_OK (ppl_const_Congruence_System_t cs)
	Returns a positive integer if `cs` is well formed, i.e., if it satisfies all its implementation invariants; returns 0 and perhaps makes some noise if `cs` is broken. Useful for debugging purposes. More...

Functions that May Modify the Congruence System
int	ppl_Congruence_System_clear (ppl_Congruence_System_t cs)
	Removes all the congruences from the congruence system `cs` and sets its space dimension to 0. More...

int	ppl_Congruence_System_insert_Congruence (ppl_Congruence_System_t cs, ppl_const_Congruence_t c)
	Inserts a copy of the congruence `c` into `cs`; the space dimension is increased, if necessary. More...

Detailed Description

Types and functions for congruence systems.

The types and functions for congruence systems provide an interface towards Congruence_System.

Friends And Related Function Documentation

int ppl_assign_Congruence_System_from_Congruence_System	(	ppl_Congruence_System_t	dst,
		ppl_const_Congruence_System_t	src
	)

Definition at line 1385 of file ppl_c_implementation_common.cc.

int ppl_Congruence_System_begin	(	ppl_const_Congruence_System_t	cs,
		ppl_Congruence_System_const_iterator_t	cit
	)

Definition at line 1472 of file ppl_c_implementation_common.cc.

int ppl_Congruence_System_clear ( ppl_Congruence_System_t cs )

Definition at line 1410 of file ppl_c_implementation_common.cc.

int ppl_Congruence_System_empty ( ppl_const_Congruence_System_t cs )

Definition at line 1403 of file ppl_c_implementation_common.cc.

int ppl_Congruence_System_end	(	ppl_const_Congruence_System_t	cs,
		ppl_Congruence_System_const_iterator_t	cit
	)

Definition at line 1482 of file ppl_c_implementation_common.cc.

int ppl_Congruence_System_insert_Congruence	(	ppl_Congruence_System_t	cs,
		ppl_const_Congruence_t	c
	)

Definition at line 1417 of file ppl_c_implementation_common.cc.

int ppl_Congruence_System_OK ( ppl_const_Congruence_System_t cs )

Definition at line 1427 of file ppl_c_implementation_common.cc.

int ppl_Congruence_System_space_dimension	(	ppl_const_Congruence_System_t	cs,
		ppl_dimension_type *	m
	)

Definition at line 1394 of file ppl_c_implementation_common.cc.

int ppl_delete_Congruence_System ( ppl_const_Congruence_System_t cs )

Definition at line 1377 of file ppl_c_implementation_common.cc.

int ppl_new_Congruence_System ( ppl_Congruence_System_t * pcs )

Definition at line 1343 of file ppl_c_implementation_common.cc.

int ppl_new_Congruence_System_from_Congruence	(	ppl_Congruence_System_t *	pcs,
		ppl_const_Congruence_t	c
	)

Definition at line 1359 of file ppl_c_implementation_common.cc.

int ppl_new_Congruence_System_from_Congruence_System	(	ppl_Congruence_System_t *	pcs,
		ppl_const_Congruence_System_t	cs
	)

Definition at line 1369 of file ppl_c_implementation_common.cc.

int ppl_new_Congruence_System_zero_dim_empty ( ppl_Congruence_System_t * pcs )

Definition at line 1350 of file ppl_c_implementation_common.cc.

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

ppl_c_header.h

Related Functions

Detailed Description

Friends And Related Function Documentation