| PPL C Language Interface
    1.2
    | 
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 ` lerel0' and writes a handle for it at addresspc. The space dimension of the new constraint is equal to the space dimension ofle. | |
| 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 addresspc. | |
| int | ppl_assign_Constraint_from_Constraint (ppl_Constraint_t dst, ppl_const_Constraint_t src) | 
| Assigns a copy of the constraint srctodst. | |
| 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 mthe space dimension ofc. | |
| 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 nthe coefficient of variablevarin constraintc. | |
| int | ppl_Constraint_inhomogeneous_term (ppl_const_Constraint_t c, ppl_Coefficient_t n) | 
| Copies into nthe inhomogeneous term of constraintc. | |
| int | ppl_Constraint_OK (ppl_const_Constraint_t c) | 
| Returns a positive integer if cis well formed, i.e., if it satisfies all its implementation invariants; returns 0 and perhaps makes some noise ifcis broken. Useful for debugging purposes. | |
| Input/Output Functions | |
| int | ppl_io_print_Constraint (ppl_const_Constraint_t x) | 
| Prints xtostdout. | |
| int | ppl_io_fprint_Constraint (FILE *stream, ppl_const_Constraint_t x) | 
| Prints xto the given outputstream. | |
| int | ppl_io_asprint_Constraint (char **strp, ppl_const_Constraint_t x) | 
| Prints xto a malloc-allocated string, a pointer to which is returned viastrp. | |
| int | ppl_Constraint_ascii_dump (ppl_const_Constraint_t x, FILE *stream) | 
| Dumps an ascii representation of xonstream. | |
| int | ppl_Constraint_ascii_load (ppl_Constraint_t x, FILE *stream) | 
| Loads an ascii representation of xfromstream. | |
Types and functions for constraints.
The types and functions for constraints provide an interface towards Constraint.