void ppl_read_polyhedron_matrix (ppl_Polyhedron_t *ph, FILE *file) { CloogMatrix *mat = cloog_matrix_read (file); new_C_Polyhedron_from_Cloog_Matrix (ph, mat); cloog_matrix_free (mat); }
void ppl_print_polyhedron_matrix (FILE *file, ppl_const_Polyhedron_t ph) { CloogMatrix *mat = new_Cloog_Matrix_from_ppl_Polyhedron (ph); cloog_matrix_print (file, mat); cloog_matrix_free (mat); }
CloogDomain * new_Cloog_Domain_from_ppl_Polyhedron (ppl_const_Polyhedron_t ph) { CloogMatrix *mat = new_Cloog_Matrix_from_ppl_Polyhedron (ph); CloogDomain *res = cloog_domain_matrix2domain (mat); cloog_matrix_free (mat); return res; }
void cloog_constraint_set_free(CloogConstraintSet *constraints) { cloog_matrix_free(&constraints->M); }
void cloog_equal_free(CloogEqualities *equal) { cloog_matrix_free(&equal->constraints->M); free(equal->types); free(equal); }