pub type ppl_const_Constraint_t = *const ppl_Constraint_tag;Expand description
\interface ppl_Constraint_tag \brief Types and functions for constraints.
The types and functions for constraints provide an interface towards \extref{Parma_Polyhedra_Library::Constraint, Constraint}.