- isl_ctx *ctx, FILE *input, unsigned nparam,
- unsigned input_format);
-
-C<input_format> may be either C<ISL_FORMAT_POLYLIB> or
-C<ISL_FORMAT_OMEGA>. However, not all combination are currently
-supported. Furthermore, only a very limited subset of
-the C<Omega> input format is currently supported.
-In particular, C<isl_basic_set_read_from_str> and
-C<isl_basic_map_read_from_file> only
-support C<ISL_FORMAT_OMEGA>, while C<isl_set_read_from_file>
-only supports C<ISL_FORMAT_POLYLIB>.
+ isl_ctx *ctx, FILE *input, unsigned nparam);
+
+The input may be either in C<PolyLib> format or in an
+C<Omega>-like format.