Types and functions for coefficients. More...

#include <ppl_c_header.h>

Related Functions
(Note that these are not member functions.)
Constructors, Assignment and Destructor
int	ppl_new_Coefficient (ppl_Coefficient_t *pc)
	Creates a new coefficient with value 0 and writes a handle for the newly created coefficient at address `pc`. More...

int	ppl_new_Coefficient_from_mpz_t (ppl_Coefficient_t *pc, mpz_t z)
	Creates a new coefficient with the value given by the GMP integer `z` and writes a handle for the newly created coefficient at address `pc`. More...

int	ppl_new_Coefficient_from_Coefficient (ppl_Coefficient_t *pc, ppl_const_Coefficient_t c)
	Builds a coefficient that is a copy of `c`; writes a handle for the newly created coefficient at address `pc`. More...

int	ppl_assign_Coefficient_from_mpz_t (ppl_Coefficient_t dst, mpz_t z)
	Assign to `dst` the value given by the GMP integer `z`. More...

int	ppl_assign_Coefficient_from_Coefficient (ppl_Coefficient_t dst, ppl_const_Coefficient_t src)
	Assigns a copy of the coefficient `src` to `dst`. More...

int	ppl_delete_Coefficient (ppl_const_Coefficient_t c)
	Invalidates the handle `c:` this makes sure the corresponding resources will eventually be released. More...

Read-Only Accessor Functions
int	ppl_Coefficient_to_mpz_t (ppl_const_Coefficient_t c, mpz_t z)
	Sets the value of the GMP integer `z` to the value of `c`. More...

int	ppl_Coefficient_OK (ppl_const_Coefficient_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...

int	ppl_Coefficient_is_bounded (void)
	Returns a positive integer if coefficients are bounded; returns 0 otherwise. More...

int	ppl_Coefficient_min (mpz_t min)
	Returns a positive integer if coefficients are bounded, in which case `min` is set to their minimum value; returns 0 otherwise. More...

int	ppl_Coefficient_max (mpz_t max)
	Returns a positive integer if coefficients are bounded, in which case `max` is set to their maximum value; returns 0 otherwise. More...

Detailed Description

Types and functions for coefficients.

The types and functions for coefficients provide an interface towards Coefficient. Depending on configuration, the PPL coefficients may be implemented by the unbounded precision integers provided by GMP (default), or by bounded precision integers (with checks for overflows).

Friends And Related Function Documentation

int ppl_assign_Coefficient_from_Coefficient	(	ppl_Coefficient_t	dst,
		ppl_const_Coefficient_t	src
	)

Definition at line 411 of file ppl_c_implementation_common.cc.

int ppl_assign_Coefficient_from_mpz_t	(	ppl_Coefficient_t	dst,
		mpz_t	z
	)

Definition at line 403 of file ppl_c_implementation_common.cc.

int ppl_Coefficient_is_bounded ( void )

Definition at line 427 of file ppl_c_implementation_common.cc.

int ppl_Coefficient_max ( mpz_t max )

Definition at line 446 of file ppl_c_implementation_common.cc.

int ppl_Coefficient_min ( mpz_t min )

Definition at line 433 of file ppl_c_implementation_common.cc.

int ppl_Coefficient_OK ( ppl_const_Coefficient_t c )

Definition at line 421 of file ppl_c_implementation_common.cc.

int ppl_Coefficient_to_mpz_t	(	ppl_const_Coefficient_t	c,
		mpz_t	z
	)

Definition at line 389 of file ppl_c_implementation_common.cc.

int ppl_delete_Coefficient ( ppl_const_Coefficient_t c )

Definition at line 396 of file ppl_c_implementation_common.cc.

int ppl_new_Coefficient ( ppl_Coefficient_t * pc )

Definition at line 366 of file ppl_c_implementation_common.cc.

int ppl_new_Coefficient_from_Coefficient	(	ppl_Coefficient_t *	pc,
		ppl_const_Coefficient_t	c
	)

Definition at line 380 of file ppl_c_implementation_common.cc.

int ppl_new_Coefficient_from_mpz_t	(	ppl_Coefficient_t *	pc,
		mpz_t	z
	)

Definition at line 373 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