isl_seq_normalize: use pre-allocated temporary variable in isl_ctx
[isl.git] / isl_input_omega.h
blob83c9f0e7d00e486d91e7d9ebad8f9a0285209554
1 #ifndef ISL_INPUT_OMEGA_H
2 #define ISL_INPUT_OMEGA_H
4 #include <stdio.h>
5 #include <isl_set.h>
7 struct isl_basic_set *isl_basic_set_read_from_file_omega(
8 struct isl_ctx *ctx, FILE *input);
9 struct isl_basic_set *isl_basic_set_read_from_str_omega(
10 struct isl_ctx *ctx, const char *str);
11 struct isl_basic_map *isl_basic_map_read_from_file_omega(
12 struct isl_ctx *ctx, FILE *input);
13 struct isl_basic_map *isl_basic_map_read_from_str_omega(
14 struct isl_ctx *ctx, const char *str);
16 #endif