#include <assert.h>#include <string.h>#include <isl_map_private.h>#include <isl/aff.h>#include <isl/set.h>#include "isl_sample.h"#include "isl_scan.h"#include <isl_seq.h>#include <isl_ilp_private.h>#include <isl/printer.h>#include <isl_point_private.h>#include <isl_vec_private.h>#include <isl/options.h>#include <isl_config.h>Go to the source code of this file.
Classes | |
| struct | options |
| struct | isl_scan_pip |
Macros | |
| #define | FORMAT_SET 0 |
| #define | FORMAT_AFF 1 |
Functions | |
| ISL_ARG_CHOICE (struct options, format, 0, "format", pip_format, FORMAT_SET, "output format") | |
| static __isl_give isl_basic_set * | to_parameter_domain (__isl_take isl_basic_set *context) |
| static __isl_give isl_basic_set * | move_parameters (__isl_take isl_basic_set *bset, __isl_keep isl_basic_set *context) |
| static __isl_give isl_basic_set * | plug_in_parameters (__isl_take isl_basic_set *bset, __isl_take isl_vec *params) |
| static __isl_give isl_set * | set_plug_in_parameters (__isl_take isl_set *set, __isl_take isl_vec *params) |
| static __isl_give isl_vec * | opt_at (__isl_take isl_basic_set *bset, __isl_take isl_vec *params, int max) |
| static isl_stat | scan_one (struct isl_scan_callback *callback, __isl_take isl_vec *sample) |
| static void | check_solution (isl_basic_set *bset, isl_basic_set *context, isl_set *sol, isl_set *empty, int max) |
| int | main (int argc, char **argv) |
Variables | |
| struct isl_arg_choice | pip_format [] |
Macro Definition Documentation
◆ FORMAT_AFF
◆ FORMAT_SET
| #define FORMAT_SET 0 |
Definition at line 47 of file pip.c.
Referenced by ISL_ARG_CHOICE().
Function Documentation
◆ check_solution()
|
static |
Definition at line 293 of file pip.c.
References isl_scan_callback::add, assert, isl_scan_pip::bset, isl_scan_pip::callback, context, count(), isl_scan_pip::empty, isl_basic_set, isl_basic_set_count_upto(), isl_basic_set_free(), isl_basic_set_scan(), isl_basic_set_underlying_set(), isl_int_clear, isl_int_get_si, isl_int_init, isl_int_set_si, isl_set, isl_scan_pip::max, isl_scan_pip::n, n, scan_one(), set_bounds(), isl_scan_pip::sol, and isl_scan_pip::stride.
Referenced by main().
◆ ISL_ARG_CHOICE()
| ISL_ARG_CHOICE | ( | struct options | , |
| format | , | ||
| 0 | , | ||
| "format" | , | ||
| pip_format | , | ||
| FORMAT_SET | , | ||
| "output format" | ) |
Definition at line 59 of file pip.c.
References __isl_give, __isl_take, FORMAT_SET, ISL_ARG_CHOICE, ISL_ARG_DEF, ISL_ARGS_END, isl_basic_set, isl_basic_set_box_from_points(), isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_intersect(), isl_basic_set_sample_point(), isl_dim_param, isl_point_add_ui(), isl_point_copy(), isl_point_sub_ui(), pip_format, and set_bounds().
◆ main()
| int main | ( | int | argc, |
| char ** | argv ) |
Definition at line 335 of file pip.c.
References assert, check_solution(), context, options::format, FORMAT_AFF, ISL_ARG_ALL, isl_basic_set, isl_basic_set_copy(), isl_basic_set_get_space(), isl_basic_set_intersect(), isl_basic_set_partial_lexmax(), isl_basic_set_partial_lexmax_pw_multi_aff(), isl_basic_set_partial_lexmin(), isl_basic_set_partial_lexmin_pw_multi_aff(), isl_basic_set_positive_orthant(), isl_basic_set_read_from_file(), isl_basic_set_set_rational(), isl_ctx_alloc_with_options(), isl_ctx_free(), isl_printer_end_line(), isl_printer_free(), isl_printer_print_pw_multi_aff(), isl_printer_print_set(), isl_printer_print_str(), isl_printer_to_file(), isl_pw_multi_aff_free(), isl_set, isl_set_free(), isl_set_from_pw_multi_aff(), move_parameters(), n, p, pma, set, to_parameter_domain(), and options::verify.
◆ move_parameters()
|
static |
Definition at line 107 of file pip.c.
References __isl_give, __isl_keep, __isl_take, context, isl_basic_set, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_move_dims(), isl_dim_param, and isl_dim_set.
Referenced by main().
◆ opt_at()
|
static |
Definition at line 179 of file pip.c.
References __isl_give, __isl_take, assert, isl_vec::ctx, isl_vec::el, isl_basic_set, isl_basic_set_dim(), isl_basic_set_fix(), isl_basic_set_free(), isl_basic_set_get_ctx(), isl_basic_set_plain_is_empty(), isl_basic_set_solve_ilp(), isl_dim_set, isl_int_set_si, isl_lp_empty, isl_lp_ok, isl_seq_clr(), isl_vec_alloc(), isl_vec_free(), obj, params, plug_in_parameters(), and res.
Referenced by scan_one().
◆ plug_in_parameters()
|
static |
Definition at line 131 of file pip.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_dim(), isl_basic_set_fix(), isl_basic_set_free(), isl_basic_set_remove_dims(), isl_dim_param, isl_vec_free(), n, and params.
Referenced by opt_at().
◆ scan_one()
|
static |
Definition at line 258 of file pip.c.
References __isl_take, assert, isl_scan_pip::bset, isl_scan_pip::callback, isl_scan_pip::empty, isl_basic_set_copy(), isl_basic_set_from_vec(), isl_point_alloc(), isl_point_free(), isl_set, isl_set_contains_point(), isl_set_copy(), isl_set_free(), isl_set_from_basic_set(), isl_set_get_space(), isl_set_is_equal(), isl_stat_error, isl_stat_ok, isl_vec_copy(), isl_vec_free(), isl_scan_pip::max, isl_scan_pip::n, opt_at(), set_plug_in_parameters(), isl_vec::size, isl_scan_pip::sol, and isl_scan_pip::stride.
Referenced by check_solution().
◆ set_plug_in_parameters()
|
static |
Definition at line 156 of file pip.c.
References __isl_give, __isl_take, isl_dim_param, isl_set, isl_set_dim(), isl_set_fix(), isl_set_free(), isl_set_remove_dims(), isl_vec_free(), n, params, and set.
Referenced by scan_one().
◆ to_parameter_domain()
|
static |
Definition at line 90 of file pip.c.
References __isl_give, __isl_take, context, isl_basic_set, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_move_dims(), isl_basic_set_params(), isl_dim_param, and isl_dim_set.
Referenced by main().
Variable Documentation
◆ pip_format
| struct isl_arg_choice pip_format[] |
Definition at line 50 of file pip.c.
Referenced by ISL_ARG_CHOICE().
Generated on for Polly by
1.14.0