Types and functions for constraints. More...
#include <ppl_c.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. More... | |
| 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. More... | |
| 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. More... | |
| 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. More... | |
| int | ppl_assign_Constraint_from_Constraint (ppl_Constraint_t dst, ppl_const_Constraint_t src) |
Assigns a copy of the constraint src to dst. More... | |
| int | ppl_delete_Constraint (ppl_const_Constraint_t c) |
Invalidates the handle c: this makes sure the corresponding resources will eventually be released. More... | |
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. More... | |
| int | ppl_Constraint_type (ppl_const_Constraint_t c) |
Returns the type of constraint c. More... | |
| 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. More... | |
| int | ppl_Constraint_inhomogeneous_term (ppl_const_Constraint_t c, ppl_Coefficient_t n) |
Copies into n the inhomogeneous term of constraint c. More... | |
| 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. More... | |
Detailed Description
Types and functions for constraints.
The types and functions for constraints provide an interface towards Constraint.
Friends And Related Function Documentation
|
related |
Assigns a copy of the constraint src to dst.
Definition at line 666 of file ppl_c_implementation_common.cc.
|
related |
Copies into n the coefficient of variable var in constraint c.
Definition at line 698 of file ppl_c_implementation_common.cc.
|
related |
Copies into n the inhomogeneous term of constraint c.
Definition at line 709 of file ppl_c_implementation_common.cc.
|
related |
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.
Definition at line 719 of file ppl_c_implementation_common.cc.
|
related |
Writes to m the space dimension of c.
Definition at line 676 of file ppl_c_implementation_common.cc.
|
related |
Returns the type of constraint c.
Definition at line 684 of file ppl_c_implementation_common.cc.
|
related |
Invalidates the handle c: this makes sure the corresponding resources will eventually be released.
Definition at line 659 of file ppl_c_implementation_common.cc.
|
related |
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.
Definition at line 605 of file ppl_c_implementation_common.cc.
|
related |
Builds a constraint that is a copy of c; writes a handle for the newly created constraint at address pc.
Definition at line 650 of file ppl_c_implementation_common.cc.
|
related |
Creates the unsatisfiable (zero-dimension space) constraint and writes a handle for it at address pc.
Definition at line 636 of file ppl_c_implementation_common.cc.
|
related |
Creates the true (zero-dimension space) constraint , also known as positivity constraint. A handle for the newly created constraint is written at address pc.
Definition at line 643 of file ppl_c_implementation_common.cc.
The documentation for this interface was generated from the following file:
