polytope_scan.c File Reference

#include <assert.h>
#include <isl_map_private.h>
#include "isl_equalities.h"
#include <isl_seq.h>
#include "isl_scan.h"
#include <isl_mat_private.h>
#include <isl_vec_private.h>

Go to the source code of this file.

Classes
struct	scan_samples

Functions
static isl_stat	scan_samples_add_sample (struct isl_scan_callback *cb, __isl_take isl_vec *sample)
static __isl_give isl_mat *	isl_basic_set_scan_samples (__isl_take isl_basic_set *bset)
static __isl_give isl_mat *	isl_basic_set_samples (__isl_take isl_basic_set *bset)
int	main (int argc, char **argv)

Function Documentation

isl_basic_set_samples()

__isl_give isl_mat * isl_basic_set_samples ( __isl_take isl_basic_set * bset )

static

Definition at line 78 of file polytope_scan.c.

References __isl_give, __isl_take, isl_basic_set, isl_basic_set_remove_equalities(), isl_basic_set_scan_samples(), isl_mat_product(), and isl_mat_transpose().

Referenced by main().

isl_basic_set_scan_samples()

__isl_give isl_mat * isl_basic_set_scan_samples ( __isl_take isl_basic_set * bset )

static

Definition at line 51 of file polytope_scan.c.

References __isl_give, __isl_take, isl_scan_callback::add, scan_samples::callback, isl_basic_set, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_ctx(), isl_basic_set_scan(), isl_dim_all, isl_mat_alloc(), isl_mat_free(), scan_samples::samples, and scan_samples_add_sample().

Referenced by isl_basic_set_samples().

main()

int main	(	int	argc,
		char **	argv )

Definition at line 94 of file polytope_scan.c.

References isl_mat::ctx, isl_basic_set, isl_basic_set_read_from_file(), isl_basic_set_samples(), isl_ctx_alloc(), isl_ctx_free(), isl_mat_free(), and isl_mat_print_internal().

scan_samples_add_sample()

isl_stat scan_samples_add_sample ( struct isl_scan_callback * cb, __isl_take isl_vec * sample )

static

Definition at line 31 of file polytope_scan.c.

References __isl_take, isl_mat_extend(), isl_seq_cpy(), isl_stat_error, isl_stat_ok, isl_vec_free(), isl_mat::n_col, isl_mat::n_row, isl_mat::row, and scan_samples::samples.

Referenced by isl_basic_set_scan_samples().