#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, const char ***param_name) |
void | recurse (Polyhedron *C, const char **param_name, Enumeration *e, Value *pmin, Value *pmax, Value *p, int l) |
int | main (int argc, char **argv) |
|
Definition at line 126 of file ehrhart_union.c. References polyhedron::Dimension, Domain_Enumerate(), Enumeration, _enumeration::EP, FOREVER, _enumeration::next, p, Polyhedron, Print_Domain(), print_evalue(), recurse(), s, Union_Read(), _enumeration::ValidityDomain, value_assign, value_init, and value_read. |
|
Definition at line 94 of file ehrhart_union.c. References compute_poly(), polyhedron::Dimension, Enumeration, p, Polyhedron, value_assign, value_clear, value_increment, value_init, value_le, and value_print. Referenced by main(). |
|
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(). |