isl_input_omega.h

   1 /*
   2  * Copyright 2008-2009 Katholieke Universiteit Leuven
   3  *
   4  * Use of this software is governed by the GNU LGPLv2.1 license
   5  *
   6  * Written by Sven Verdoolaege, K.U.Leuven, Departement
   7  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
   8  */
   9
  10 #ifndef ISL_INPUT_OMEGA_H
  11 #define ISL_INPUT_OMEGA_H
  12
  13 #include <stdio.h>
  14 #include <isl_set.h>
  15
  16 struct isl_basic_set *isl_basic_set_read_from_file_omega(
  17                 struct isl_ctx *ctx, FILE *input);
  18 struct isl_basic_set *isl_basic_set_read_from_str_omega(
  19                 struct isl_ctx *ctx, const char *str);
  20 struct isl_basic_map *isl_basic_map_read_from_file_omega(
  21                 struct isl_ctx *ctx, FILE *input);
  22 struct isl_basic_map *isl_basic_map_read_from_str_omega(
  23                 struct isl_ctx *ctx, const char *str);
  24
  25 #endif