Main Page   Compound List   File List   Compound 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, char ***param_name)
int main (int argc, char **argv)


Function Documentation

int main int    argc,
char **    argv
 

Definition at line 95 of file ehrhart_union.c.

References Domain_Enumerate(), _enumeration::EP, _enumeration::next, Print_Domain(), print_evalue(), Union_Read(), and _enumeration::ValidityDomain.

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

Definition at line 8 of file ehrhart_union.c.

References Constraints2Polyhedron(), Matrix_Alloc(), Matrix_Free(), Matrix_Read(), Matrix_Read_Input(), matrix::NbColumns, polyhedron::next, and Read_ParamNames().

Referenced by main().


Generated on Mon Mar 15 10:59:52 2004 for polylib by doxygen1.2.18