evalue_convert_main.c

   1 #include "argp.h"
   2 #include <barvinok/options.h>
   3 #include "evalue_convert.h"
   4 #include "evalue_read.h"
   5
   6 int main(int argc, char **argv)
   7 {
   8     evalue *EP;
   9     const char **all_vars = NULL;
  10     unsigned nvar;
  11     unsigned nparam;
  12     struct barvinok_options *options = barvinok_options_new_with_defaults();
  13     struct convert_options   convert;
  14     int printed;
  15
  16     set_program_name(argv[0]);
  17     argp_parse(&convert_argp, argc, argv, 0, 0, &convert);
  18
  19     EP = evalue_read_from_file(stdin, NULL, &all_vars,
  20                                &nvar, &nparam, options->MaxRays);
  21     assert(EP);
  22
  23     printed =
  24         evalue_convert(EP, &convert, options->verbose, nvar+nparam, all_vars);
  25
  26     if (!printed)
  27         print_evalue(stdout, EP, all_vars);
  28
  29     evalue_free(EP);
  30     Free_ParamNames(all_vars, nvar+nparam);
  31     barvinok_options_free(options);
  32 }