polyhedron_detect_equalities.c File Reference

#include <isl/set.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 12 of file polyhedron_detect_equalities.c.

References isl_basic_set_detect_equalities(), isl_basic_set_free(), isl_basic_set_read_from_file(), isl_ctx_alloc(), isl_ctx_free(), ISL_FORMAT_POLYLIB, isl_printer_free(), isl_printer_print_basic_set(), isl_printer_set_output_format(), isl_printer_to_file(), and p.