ppl_Artificial_Parameter_tag Interface Reference

Types and functions for PIP artificial parameters. More...

#include <ppl_c_header.h>

Related Functions
(Note that these are not member functions.)
int	ppl_Artificial_Parameter_get_Linear_Expression (ppl_const_Artificial_Parameter_t ap, ppl_Linear_Expression_t le)
	Copies into le the linear expression in artificial parameter ap. More...
int	ppl_Artificial_Parameter_coefficient (ppl_const_Artificial_Parameter_t ap, ppl_dimension_type var, ppl_Coefficient_t n)
	Copies into n the coefficient of variable var in the artificial parameter ap. More...
int	ppl_Artificial_Parameter_get_inhomogeneous_term (ppl_const_Artificial_Parameter_t ap, ppl_Coefficient_t n)
	Copies into n the inhomogeneous term of the artificial parameter ap. More...
int	ppl_Artificial_Parameter_denominator (ppl_const_Artificial_Parameter_t ap, ppl_Coefficient_t n)
	Copies into n the denominator in artificial parameter ap. More...

Detailed Description

Types and functions for PIP artificial parameters.

The types and functions for PIP artificial parameters provide an interface towards Artificial_Parameter.

Friends And Related Function Documentation

int ppl_Artificial_Parameter_coefficient ( ppl_const_Artificial_Parameter_t  ap, ppl_dimension_type  var, ppl_Coefficient_t  n  )

related

Copies into n the coefficient of variable var in the artificial parameter ap.

Definition at line 2453 of file ppl_c_implementation_common.cc.

int ppl_Artificial_Parameter_denominator ( ppl_const_Artificial_Parameter_t  ap, ppl_Coefficient_t  n  )

related

Copies into n the denominator in artificial parameter ap.

Definition at line 2475 of file ppl_c_implementation_common.cc.

int ppl_Artificial_Parameter_get_inhomogeneous_term ( ppl_const_Artificial_Parameter_t  ap, ppl_Coefficient_t  n  )

related

Copies into n the inhomogeneous term of the artificial parameter ap.

int ppl_Artificial_Parameter_get_Linear_Expression ( ppl_const_Artificial_Parameter_t  ap, ppl_Linear_Expression_t  le  )

related

Copies into le the linear expression in artificial parameter ap.

Definition at line 2443 of file ppl_c_implementation_common.cc.

---

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

• ppl_c_header.h