polyhedron_minimize.c File Reference

#include <assert.h>
#include <isl/set.h>
#include <isl/vec.h>
#include <isl_ilp_private.h>
#include <isl_seq.h>
#include <isl_vec_private.h>

Go to the source code of this file.

Functions
static __isl_give isl_vec *	isl_vec_lin_to_aff (__isl_take isl_vec *vec)
static __isl_give isl_vec *	vec_ror (__isl_take isl_vec *vec)
int	main (int argc, char **argv)

Function Documentation

isl_vec_lin_to_aff()

static __isl_give isl_vec * isl_vec_lin_to_aff ( __isl_take isl_vec *  vec )

static

Definition at line 24 of file polyhedron_minimize.c.

References aff, isl_int_set_si, isl_seq_cpy(), isl_vec_alloc(), and isl_vec_free().

Referenced by main().

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 57 of file polyhedron_minimize.c.

References assert, isl_vec::ctx, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_read_from_file(), isl_basic_set_solve_ilp(), isl_ctx_alloc(), isl_ctx_free(), isl_dim_all, isl_int_clear, isl_int_init, isl_lp_empty, isl_lp_error, isl_lp_ok, isl_lp_unbounded, isl_printer_end_line(), isl_printer_free(), isl_printer_print_isl_int(), isl_printer_print_vec(), isl_printer_to_file(), isl_vec_free(), isl_vec_lin_to_aff(), isl_vec_read_from_file(), obj, p, res, and vec_ror().

vec_ror()

static __isl_give isl_vec * vec_ror ( __isl_take isl_vec *  vec )

static

Definition at line 46 of file polyhedron_minimize.c.

References isl_int_swap.

Referenced by main().