polyhedron_remove_redundant_equalities.c File Reference

#include <isl/options.h>
#include <isl/printer.h>
#include <isl/set.h>
#include "isl_morph.h"

Go to the source code of this file.

Functions
int	main (int argc, char **argv)

Function Documentation

main()

int main	(	int	argc,
		char **	argv )

Definition at line 20 of file polyhedron_remove_redundant_equalities.c.

References ISL_ARG_ALL, isl_basic_set, isl_basic_set_free(), isl_basic_set_read_from_file(), isl_basic_set_variable_compression(), isl_ctx_alloc_with_options(), isl_ctx_free(), isl_dim_set, isl_morph_basic_set(), isl_printer_end_line(), isl_printer_free(), isl_printer_print_basic_set(), isl_printer_to_file(), and p.