isl_ilp_private.h File Reference

#include <isl_int.h>
#include <isl/lp.h>
#include <isl/set.h>

Go to the source code of this file.

Functions
enum isl_lp_result	isl_basic_set_solve_ilp (__isl_keep isl_basic_set *bset, int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p)

Function Documentation

isl_basic_set_solve_ilp()

enum isl_lp_result isl_basic_set_solve_ilp	(	__isl_keep isl_basic_set *	bset,
		int	max,
		isl_int *	f,
		isl_int *	opt,
		__isl_give isl_vec **	sol_p
	)

Definition at line 311 of file isl_ilp.c.

References f, isl_basic_set_check_no_params(), isl_basic_set_dim(), isl_basic_set_plain_is_empty(), isl_dim_all, isl_int_neg, isl_lp_empty, isl_lp_error, isl_seq_neg(), res, solve_ilp(), and solve_ilp_with_eq().

Referenced by basic_set_opt(), main(), opt_at(), and solve_ilp_with_eq().