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, _enumeration::EP, _enumeration::next, Polyhedron, 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, Matrix_Alloc(), Matrix_Free(), Matrix_Read(), Matrix_Read_Input(), matrix::NbColumns, polyhedron::next, Polyhedron, Read_ParamNames(), and s. Referenced by main().

---