Types and functions for constraints. More...
#include <ppl_c_header.h>
Related Functions | |
(Note that these are not member functions.) | |
Constructors, Assignment and Destructor | |
| int | ppl_new_Constraint (ppl_Constraint_t *pc, ppl_const_Linear_Expression_t le, enum ppl_enum_Constraint_Type rel) |
Creates the new constraint `le rel 0' and writes a handle for it at address pc. The space dimension of the new constraint is equal to the space dimension of le. | |
| int | ppl_new_Constraint_zero_dim_false (ppl_Constraint_t *pc) |
Creates the unsatisfiable (zero-dimension space) constraint and writes a handle for it at address pc. | |
| int | ppl_new_Constraint_zero_dim_positivity (ppl_Constraint_t *pc) |
Creates the true (zero-dimension space) constraint , also known as positivity constraint. A handle for the newly created constraint is written at address pc. | |
| int | ppl_new_Constraint_from_Constraint (ppl_Constraint_t *pc, ppl_const_Constraint_t c) |
Builds a constraint that is a copy of c; writes a handle for the newly created constraint at address pc. | |
| int | ppl_assign_Constraint_from_Constraint (ppl_Constraint_t dst, ppl_const_Constraint_t src) |
Assigns a copy of the constraint src to dst. | |
| int | ppl_delete_Constraint (ppl_const_Constraint_t c) |
Invalidates the handle c: this makes sure the corresponding resources will eventually be released. | |
Functions that Do Not Modify the Constraint | |
| int | ppl_Constraint_space_dimension (ppl_const_Constraint_t c, ppl_dimension_type *m) |
Writes to m the space dimension of c. | |
| int | ppl_Constraint_type (ppl_const_Constraint_t c) |
Returns the type of constraint c. | |
| int | ppl_Constraint_coefficient (ppl_const_Constraint_t c, ppl_dimension_type var, ppl_Coefficient_t n) |
Copies into n the coefficient of variable var in constraint c. | |
| int | ppl_Constraint_inhomogeneous_term (ppl_const_Constraint_t c, ppl_Coefficient_t n) |
Copies into n the inhomogeneous term of constraint c. | |
| int | ppl_Constraint_OK (ppl_const_Constraint_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. | |
Input/Output Functions | |
| int | ppl_io_print_Constraint (ppl_const_Constraint_t x) |
Prints x to stdout. | |
| int | ppl_io_fprint_Constraint (FILE *stream, ppl_const_Constraint_t x) |
Prints x to the given output stream. | |
| int | ppl_io_asprint_Constraint (char **strp, ppl_const_Constraint_t x) |
Prints x to a malloc-allocated string, a pointer to which is returned via strp. | |
| int | ppl_Constraint_ascii_dump (ppl_const_Constraint_t x, FILE *stream) |
Dumps an ascii representation of x on stream. | |
| int | ppl_Constraint_ascii_load (ppl_Constraint_t x, FILE *stream) |
Loads an ascii representation of x from stream. | |
Types and functions for constraints.
The types and functions for constraints provide an interface towards Constraint.
1.6.3