#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <polylib/polylib.h>
Go to the source code of this file.
Functions | |
void | Union_Read (Polyhedron **P, Polyhedron **C, char ***param_name) |
int | main (int argc, char **argv) |
|
Definition at line 95 of file ehrhart_union.c. References Domain_Enumerate(), Enumeration, _enumeration::EP, _enumeration::next, Polyhedron, Print_Domain(), print_evalue(), Union_Read(), and _enumeration::ValidityDomain. |
|
Definition at line 8 of file ehrhart_union.c. References Constraints2Polyhedron(), Matrix, Matrix_Alloc(), Matrix_Free(), Matrix_Read(), Matrix_Read_Input(), matrix::NbColumns, polyhedron::next, Polyhedron, Read_ParamNames(), and s. Referenced by main(). |