Ejemplo n.º 1
0
int
main(int argc, char **argv) {
  program_name = argv[0];

  if (argc != 1) {
    fprintf(stderr, "usage: %s\n", program_name);
    exit(1);
  }

  if (ppl_initialize() < 0)
    fatal("cannot initialize the Parma Polyhedra Library");

  if (ppl_set_error_handler(error_handler) < 0)
    fatal("cannot install the custom error handler");

  timed_compute_open_hypercube_generators(200, 20);

  ppl_finalize();
  return 0;
}
Ejemplo n.º 2
0
static void
my_exit(int status) {
  (void) ppl_finalize();
  exit(status);
}
Ejemplo n.º 3
0
int main() {
  ppl_initialize();
  return ppl_finalize();
}