PPL Configured C Language Interface  1.2
List of all members
ppl_Congruence_tag Interface Reference

Types and functions for congruences. More...

#include <ppl_c.h>

Related Functions

(Note that these are not member functions.)

Constructors, Assignment and Destructor
int ppl_new_Congruence (ppl_Congruence_t *pc, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t m)
 Creates the new congruence $le = 0 \pmod{m}$ and writes a handle for it at address pc. The space dimension of the new congruence is equal to the space dimension of le. More...
 
int ppl_new_Congruence_zero_dim_false (ppl_Congruence_t *pc)
 Creates the unsatisfiable (zero-dimension space) congruence $0 = 1 \pmod{0}$ and writes a handle for it at address pc. More...
 
int ppl_new_Congruence_zero_dim_integrality (ppl_Congruence_t *pc)
 Creates the true (zero-dimension space) congruence $0 = 1 \pmod{1}$, also known as integrality congruence. A handle for the newly created congruence is written at address pc. More...
 
int ppl_new_Congruence_from_Congruence (ppl_Congruence_t *pc, ppl_const_Congruence_t c)
 Builds a congruence that is a copy of c; writes a handle for the newly created congruence at address pc. More...
 
int ppl_assign_Congruence_from_Congruence (ppl_Congruence_t dst, ppl_const_Congruence_t src)
 Assigns a copy of the congruence src to dst. More...
 
int ppl_delete_Congruence (ppl_const_Congruence_t c)
 Invalidates the handle c: this makes sure the corresponding resources will eventually be released. More...
 
Functions that Do Not Modify the Congruence
int ppl_Congruence_space_dimension (ppl_const_Congruence_t c, ppl_dimension_type *m)
 Writes to m the space dimension of c. More...
 
int ppl_Congruence_coefficient (ppl_const_Congruence_t c, ppl_dimension_type var, ppl_Coefficient_t n)
 Copies into n the coefficient of variable var in congruence c. More...
 
int ppl_Congruence_inhomogeneous_term (ppl_const_Congruence_t c, ppl_Coefficient_t n)
 Copies into n the inhomogeneous term of congruence c. More...
 
int ppl_Congruence_modulus (ppl_const_Congruence_t c, ppl_Coefficient_t m)
 Copies into m the modulus of congruence c. More...
 
int ppl_Congruence_OK (ppl_const_Congruence_t c)
 Returns a positive integer if c is well formed, i.e., if it satisfies all its implementation invariants; returns 0 and perhaps makes some noise if c is broken. Useful for debugging purposes. More...
 

Detailed Description

Types and functions for congruences.

The types and functions for congruences provide an interface towards Congruence.

Friends And Related Function Documentation

int ppl_assign_Congruence_from_Congruence ( ppl_Congruence_t  dst,
ppl_const_Congruence_t  src 
)
related

Assigns a copy of the congruence src to dst.

Definition at line 1277 of file ppl_c_implementation_common.cc.

int ppl_Congruence_coefficient ( ppl_const_Congruence_t  c,
ppl_dimension_type  var,
ppl_Coefficient_t  n 
)
related

Copies into n the coefficient of variable var in congruence c.

Definition at line 1295 of file ppl_c_implementation_common.cc.

int ppl_Congruence_inhomogeneous_term ( ppl_const_Congruence_t  c,
ppl_Coefficient_t  n 
)
related

Copies into n the inhomogeneous term of congruence c.

Definition at line 1306 of file ppl_c_implementation_common.cc.

int ppl_Congruence_modulus ( ppl_const_Congruence_t  c,
ppl_Coefficient_t  m 
)
related

Copies into m the modulus of congruence c.

Definition at line 1316 of file ppl_c_implementation_common.cc.

int ppl_Congruence_OK ( ppl_const_Congruence_t  c)
related

Returns a positive integer if c is well formed, i.e., if it satisfies all its implementation invariants; returns 0 and perhaps makes some noise if c is broken. Useful for debugging purposes.

Definition at line 1326 of file ppl_c_implementation_common.cc.

int ppl_Congruence_space_dimension ( ppl_const_Congruence_t  c,
ppl_dimension_type *  m 
)
related

Writes to m the space dimension of c.

Definition at line 1287 of file ppl_c_implementation_common.cc.

int ppl_delete_Congruence ( ppl_const_Congruence_t  c)
related

Invalidates the handle c: this makes sure the corresponding resources will eventually be released.

Definition at line 1270 of file ppl_c_implementation_common.cc.

int ppl_new_Congruence ( ppl_Congruence_t *  pc,
ppl_const_Linear_Expression_t  le,
ppl_const_Coefficient_t  m 
)
related

Creates the new congruence $le = 0 \pmod{m}$ and writes a handle for it at address pc. The space dimension of the new congruence is equal to the space dimension of le.

Definition at line 1234 of file ppl_c_implementation_common.cc.

int ppl_new_Congruence_from_Congruence ( ppl_Congruence_t *  pc,
ppl_const_Congruence_t  c 
)
related

Builds a congruence that is a copy of c; writes a handle for the newly created congruence at address pc.

Definition at line 1261 of file ppl_c_implementation_common.cc.

int ppl_new_Congruence_zero_dim_false ( ppl_Congruence_t *  pc)
related

Creates the unsatisfiable (zero-dimension space) congruence $0 = 1 \pmod{0}$ and writes a handle for it at address pc.

Definition at line 1247 of file ppl_c_implementation_common.cc.

int ppl_new_Congruence_zero_dim_integrality ( ppl_Congruence_t *  pc)
related

Creates the true (zero-dimension space) congruence $0 = 1 \pmod{1}$, also known as integrality congruence. A handle for the newly created congruence is written at address pc.

Definition at line 1254 of file ppl_c_implementation_common.cc.

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