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

ehrhart_ranking.c File Reference

#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <polylib/polylib.h>
#include <polylib/ranking.h>

Go to the source code of this file.

Functions

int main (int argc, char **argv)


Function Documentation

int main int  argc,
char **  argv
 

Definition at line 10 of file ehrhart_ranking.c.

References compute_poly(), Constraints2Polyhedron(), polyhedron::Dimension, Enumeration, _enumeration::EP, FOREVER, free_evalue_refs(), Free_ParamNames(), Matrix, Matrix_Free(), Matrix_Read(), _enumeration::next, p, POL_NO_DUAL, Polyhedron, Polyhedron_Free(), Polyhedron_LexSmallerEnumerate(), Print_Domain(), print_evalue(), Read_ParamNames(), _enumeration::ValidityDomain, value_init, value_print, and value_read.


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