ehrhart_union.c File Reference

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

Function Documentation

main()

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.

recurse()

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.

Referenced by main(), and recurse().

Union_Read()

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