Types and functions for PIP artificial parameters. More...
#include <ppl_c.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. | |
| 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. | |
| 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. | |
| int | ppl_Artificial_Parameter_denominator (ppl_const_Artificial_Parameter_t ap, ppl_Coefficient_t n) |
Copies into n the denominator in artificial parameter ap. | |
Types and functions for PIP artificial parameters.
The types and functions for PIP artificial parameters provide an interface towards Artificial_Parameter.
| 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 2488 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 2510 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 2478 of file ppl_c_implementation_common.cc.
1.6.3