ppl_Constraint_tag Interface Reference

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`.

## Detailed Description

Types and functions for constraints.

The types and functions for constraints provide an interface towards Constraint.

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

- ppl_c_header.h