3 #include <polylib/polylibgmp.h>
4 #include "ev_operations.h"
18 A
= Constraints2Polyhedron(M
, 600);
22 while ((*s
=='#') || (sscanf(s
, "E %d", &exist
)<1))
26 while ((*s
=='#') || (sscanf(s
, "P %d", &nparam
)<1))
29 Polyhedron_Print(stdout
, P_VALUE_FMT
, A
);
30 printf("exist: %d, nparam: %d\n", exist
, nparam
);
31 param_name
= Read_ParamNames(stdin
, nparam
);
32 EP
= barvinok_enumerate_e(A
, exist
, nparam
, 600);
33 print_evalue(stdout
, EP
, param_name
);
35 Free_ParamNames(param_name
, nparam
);