polylib 5.22.8
|
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <unistd.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) |
int main | ( | int | argc, |
char ** | argv | ||
) |
Definition at line 127 of file ehrhart_union.c.
References polyhedron::Dimension, Domain_Enumerate(), _enumeration::EP, FOREVER, _enumeration::next, Print_Domain(), print_evalue(), recurse(), s, Union_Read(), _enumeration::ValidityDomain, value_assign, value_init, and value_read.
void recurse | ( | Polyhedron * | C, |
const char ** | param_name, | ||
Enumeration * | e, | ||
Value * | pmin, | ||
Value * | pmax, | ||
Value * | p, | ||
int | l | ||
) |
Definition at line 95 of file ehrhart_union.c.
References compute_poly(), polyhedron::Dimension, recurse(), value_assign, value_clear, value_increment, value_init, value_le, and value_print.
void Union_Read | ( | Polyhedron ** | P, |
Polyhedron ** | C, | ||
const char *** | param_name | ||
) |
Definition at line 9 of file ehrhart_union.c.
References Constraints2Polyhedron(), Matrix_Alloc(), Matrix_Free(), Matrix_Read(), Matrix_Read_Input(), matrix::NbColumns, polyhedron::next, Read_ParamNames(), and s.
Referenced by main().