Main Page | Class List | File List | Class Members | File Members

ehrhart_union.c File Reference

#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)


Function Documentation

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.

void recurse Polyhedron C,
const char **  param_name,
Enumeration e,
Value *  pmin,
Value *  pmax,
Value *  p,
int  l
 

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().

void Union_Read Polyhedron **  P,
Polyhedron **  C,
const char ***  param_name
 

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().


Generated on Thu Sep 4 15:28:59 2008 for polylib by doxygen 1.3.5