#include <stdlib.h>#include <string.h>#include <isl_ctx_private.h>#include <isl_map_private.h>#include <isl/set.h>#include <isl_seq.h>#include <isl_polynomial_private.h>#include <isl_printer_private.h>#include <isl_space_private.h>#include <isl_mat_private.h>#include <isl_vec_private.h>#include <isl/union_set.h>#include <isl/union_map.h>#include <isl/constraint.h>#include <isl_local.h>#include <isl_local_space_private.h>#include <isl_aff_private.h>#include <isl_id_private.h>#include <isl_val_private.h>#include <isl_constraint_private.h>#include <isl/ast_build.h>#include <isl_sort.h>#include <isl_output_private.h>#include <bset_to_bmap.c>#include <set_to_map.c>#include <uset_to_umap.c>#include "isl_union_print_templ.c"#include "isl_pw_print_templ.c"Go to the source code of this file.
Classes | |
| struct | isl_aff_split |
| struct | isl_union_print_data |
Macros | |
| #define | BASE map |
| #define | BASE pw_qpolynomial |
| #define | BASE pw_qpolynomial_fold |
| #define | BASE aff |
| #define | BASE pw_aff |
| #define | BASE multi_aff |
| #define | BASE pw_multi_aff |
Variables | |
| static const char * | s_to [2] = { " -> ", " \\to " } |
| static const char * | s_and [2] = { " and ", " \\wedge " } |
| static const char * | s_or [2] = { " or ", " \\vee " } |
| static const char * | s_le [2] = { "<=", "\\le" } |
| static const char * | s_ge [2] = { ">=", "\\ge" } |
| static const char * | s_open_set [2] = { "{ ", "\\{\\, " } |
| static const char * | s_close_set [2] = { " }", " \\,\\}" } |
| static const char * | s_open_list [2] = { "[", "(" } |
| static const char * | s_close_list [2] = { "]", ")" } |
| static const char * | s_such_that [2] = { " : ", " \\mid " } |
| static const char * | s_open_exists [2] = { "exists (", "\\exists \\, " } |
| static const char * | s_close_exists [2] = { ")", "" } |
| static const char * | s_div_prefix [2] = { "e", "\\alpha_" } |
| static const char * | s_mod [2] = { "mod", "\\bmod" } |
| static const char * | s_param_prefix [2] = { "p", "p_" } |
| static const char * | s_input_prefix [2] = { "i", "i_" } |
| static const char * | s_output_prefix [2] = { "o", "o_" } |
Macro Definition Documentation
◆ BASE [1/7]
| #define BASE map |
Definition at line 1621 of file isl_output.c.
◆ BASE [2/7]
| #define BASE pw_qpolynomial |
Definition at line 1621 of file isl_output.c.
◆ BASE [3/7]
| #define BASE pw_qpolynomial_fold |
Definition at line 1621 of file isl_output.c.
◆ BASE [4/7]
| #define BASE aff |
Definition at line 1621 of file isl_output.c.
◆ BASE [5/7]
| #define BASE pw_aff |
Definition at line 1621 of file isl_output.c.
◆ BASE [6/7]
| #define BASE multi_aff |
Definition at line 1621 of file isl_output.c.
◆ BASE [7/7]
| #define BASE pw_multi_aff |
Definition at line 1621 of file isl_output.c.
Function Documentation
◆ aff_split_cmp()
|
static |
Definition at line 1297 of file isl_output.c.
References isl_aff_split::aff, isl_basic_map_plain_cmp(), and user.
Referenced by split_aff().
◆ basic_map_print_omega()
|
static |
Definition at line 1036 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_in, isl_dim_out, isl_printer_print_str(), p, print_optional_disjunct(), and print_var_list().
Referenced by isl_map_print_omega(), and isl_printer_print_basic_map().
◆ basic_set_print_omega()
|
static |
Definition at line 1049 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_basic_set, isl_dim_set, isl_printer_print_str(), p, print_optional_disjunct(), and print_var_list().
Referenced by isl_printer_print_basic_set(), and isl_set_print_omega().
◆ bset_print_constraints_polylib()
|
static |
Definition at line 114 of file isl_output.c.
References __isl_give, __isl_take, bset_to_bmap(), isl_basic_set, p, and print_constraints_polylib().
Referenced by isl_printer_print_basic_set().
◆ can_print_div_expr()
|
static |
Definition at line 274 of file isl_output.c.
References __isl_keep, isl_bool_false, isl_bool_not(), ISL_FORMAT_OMEGA, isl_local_div_is_marked_unknown(), p, and pos().
Referenced by need_exists(), print_as_modulo_pos(), print_constraints(), print_div_list(), and print_term().
◆ constraint_op()
|
static |
Definition at line 538 of file isl_output.c.
References isl_print_space_data::latex, s_ge, and s_le.
Referenced by print_constraints().
◆ count_same_name()
|
static |
Definition at line 182 of file isl_output.c.
References __isl_keep, count(), isl_dim_out, isl_dim_param, isl_size_error, isl_space_dim(), isl_space_get_dim_name(), n, name, p, pos(), t, and type.
Referenced by print_name().
◆ defining_equality()
|
static |
Definition at line 1383 of file isl_output.c.
References __isl_keep, isl_basic_map_dim(), isl_dim_all, isl_int_is_one, isl_seq_last_non_zero(), isl_seq_neg(), isl_space_offset(), pos(), total(), and type.
Referenced by print_dim_eq().
◆ drop_aff()
|
static |
Definition at line 1306 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_basic_map_drop_equality(), isl_basic_map_free(), isl_basic_map_var_offset(), isl_dim_div, isl_seq_eq(), isl_seq_first_non_zero(), and isl_seq_is_neg().
Referenced by split_aff().
◆ free_split()
|
static |
Definition at line 1247 of file isl_output.c.
References __isl_take, aff, isl_basic_map_free(), isl_map_free(), map, n, and split().
Referenced by isl_map_print_latex(), print_body_map(), and split_aff().
◆ get_aff()
|
static |
Definition at line 1262 of file isl_output.c.
References __isl_give, __isl_take, isl_basic_map_cow(), isl_basic_map_dim(), isl_basic_map_drop_equality(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_free_inequality(), isl_dim_all, isl_dim_in, isl_dim_out, isl_dim_param, isl_int_is_negone, isl_int_is_one, isl_seq_last_non_zero(), and total().
Referenced by split_aff().
◆ isl_basic_map_print_isl()
|
static |
Definition at line 1106 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, ISL_BASIC_MAP_RATIONAL, ISL_F_ISSET, isl_print_space(), isl_printer_print_str(), isl_print_space_data::latex, p, print_disjunct(), and print_param_tuple().
Referenced by isl_printer_print_basic_map(), and isl_printer_print_basic_set().
◆ isl_basic_map_print_polylib()
|
static |
Definition at line 120 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_basic_map_dim(), isl_dim_all, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_printer_end_line(), isl_printer_free(), isl_printer_print_int(), isl_printer_print_str(), isl_printer_start_line(), p, print_constraints_polylib(), and total().
Referenced by isl_basic_set_print_polylib(), and isl_map_print_polylib().
◆ isl_basic_set_print_polylib()
|
static |
Definition at line 154 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, bset_to_bmap(), isl_basic_map_print_polylib(), isl_basic_set, and p.
Referenced by isl_printer_print_basic_set().
◆ isl_map_print_isl()
|
static |
Definition at line 1482 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_printer_print_str(), map, p, print_body_map(), print_param_tuple(), s_close_set, and s_open_set.
Referenced by isl_printer_print_map(), and isl_printer_print_set().
◆ isl_map_print_latex()
|
static |
Definition at line 1511 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, aff, free_split(), isl_printer_print_str(), map, p, print_latex_map(), split(), and split_aff().
Referenced by isl_printer_print_map(), isl_printer_print_set(), and print_latex_map_body().
◆ isl_map_print_omega()
|
static |
Definition at line 1060 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, basic_map_print_omega(), isl_printer_print_str(), map, and p.
Referenced by isl_printer_print_map().
◆ isl_map_print_polylib()
|
static |
Definition at line 160 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_basic_map_print_polylib(), isl_printer_end_line(), isl_printer_print_int(), isl_printer_start_line(), map, and p.
Referenced by isl_printer_print_map(), and isl_set_print_polylib().
◆ isl_print_space()
| __isl_give isl_printer * isl_print_space | ( | __isl_keep isl_space * | space, |
| __isl_take isl_printer * | p, | ||
| int | rational, | ||
| struct isl_print_space_data * | data ) |
Definition at line 462 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_in, isl_dim_out, isl_dim_set, isl_printer_print_str(), isl_space_is_params(), isl_space_is_set(), isl_print_space_data::latex, p, print_tuple(), s_to, and isl_print_space_data::space.
Referenced by isl_basic_map_print_isl(), isl_printer_print_constraint(), isl_printer_print_local_space(), isl_printer_print_point(), isl_printer_print_space_isl(), print_body_map(), print_body_multi_aff(), print_body_pw_qpolynomial(), print_body_pw_qpolynomial_fold(), print_latex_map(), print_multi_id_isl(), print_multi_pw_aff_isl(), print_multi_union_pw_aff_isl(), print_multi_val_isl(), print_qpolynomial_isl(), and print_split_map().
◆ isl_printer_print_aff()
| __isl_give isl_printer * isl_printer_print_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_aff * | aff ) |
Definition at line 2869 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_die, isl_error_unsupported, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, print_aff_c(), and print_aff_isl().
◆ isl_printer_print_basic_map()
| __isl_give isl_printer * isl_printer_print_basic_map | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_basic_map * | bmap ) |
Definition at line 1535 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, basic_map_print_omega(), isl_assert, isl_basic_map_print_isl(), ISL_FORMAT_ISL, ISL_FORMAT_OMEGA, isl_printer_free(), and p.
Referenced by isl_basic_map_print_internal().
◆ isl_printer_print_basic_set()
| __isl_give isl_printer * isl_printer_print_basic_set | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_basic_set * | bset ) |
Definition at line 1550 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, basic_set_print_omega(), bset_print_constraints_polylib(), isl_assert, isl_basic_map_print_isl(), isl_basic_set, isl_basic_set_print_polylib(), ISL_FORMAT_EXT_POLYLIB, ISL_FORMAT_ISL, ISL_FORMAT_OMEGA, ISL_FORMAT_POLYLIB, ISL_FORMAT_POLYLIB_CONSTRAINTS, isl_printer_free(), and p.
Referenced by isl_basic_set_print_internal(), isl_printer_print_ast_graft(), and main().
◆ isl_printer_print_constraint()
| __isl_give isl_printer * isl_printer_print_constraint | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_constraint * | c ) |
Definition at line 2397 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_local_space::div, isl_constraint_get_local_space(), isl_constraint_is_equality(), isl_local_space_free(), isl_local_space_get_space(), isl_print_space(), isl_printer_free(), isl_printer_print_str(), isl_space_free(), need_exists(), open_exists(), p, print_affine_of_len(), print_param_tuple(), s_close_exists, and isl_print_space_data::space.
◆ isl_printer_print_local_space()
| __isl_give isl_printer * isl_printer_print_local_space | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_local_space * | ls ) |
Definition at line 2476 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_div, isl_local_space_dim(), isl_print_space(), isl_printer_free(), isl_printer_print_str(), isl_space_is_params(), p, print_div_list(), print_param_tuple(), s_close_exists, s_open_exists, and s_such_that.
◆ isl_printer_print_map()
| __isl_give isl_printer * isl_printer_print_map | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_map * | map ) |
Definition at line 1593 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_assert, ISL_FORMAT_EXT_POLYLIB, ISL_FORMAT_ISL, ISL_FORMAT_LATEX, ISL_FORMAT_OMEGA, ISL_FORMAT_POLYLIB, isl_map_print_isl(), isl_map_print_latex(), isl_map_print_omega(), isl_map_print_polylib(), isl_printer_free(), map, and p.
Referenced by isl_obj_map_print(), isl_stream_error(), and main().
◆ isl_printer_print_multi_aff()
| __isl_give isl_printer * isl_printer_print_multi_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_multi_aff * | maff ) |
Definition at line 2981 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_unsupported, ISL_FORMAT_ISL, isl_printer_free(), p, and print_multi_aff_isl().
◆ isl_printer_print_multi_id()
| __isl_give isl_printer * isl_printer_print_multi_id | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_multi_id * | mi ) |
Definition at line 3283 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_unsupported, ISL_FORMAT_ISL, isl_printer_free(), isl_printer_get_ctx(), p, and print_multi_id_isl().
◆ isl_printer_print_multi_pw_aff()
| __isl_give isl_printer * isl_printer_print_multi_pw_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_multi_pw_aff * | mpa ) |
Definition at line 3178 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_unsupported, ISL_FORMAT_ISL, isl_printer_free(), p, and print_multi_pw_aff_isl().
◆ isl_printer_print_multi_union_pw_aff()
| __isl_give isl_printer * isl_printer_print_multi_union_pw_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_multi_union_pw_aff * | mupa ) |
Definition at line 3363 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_unsupported, ISL_FORMAT_ISL, isl_printer_free(), isl_printer_get_ctx(), mupa, p, and print_multi_union_pw_aff_isl().
Referenced by print_tree_band().
◆ isl_printer_print_multi_val()
| __isl_give isl_printer * isl_printer_print_multi_val | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_multi_val * | mv ) |
Definition at line 3231 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_unsupported, ISL_FORMAT_ISL, isl_printer_free(), p, and print_multi_val_isl().
◆ isl_printer_print_pw_aff()
| __isl_give isl_printer * isl_printer_print_pw_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_pw_aff * | pwaff ) |
Definition at line 2886 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_unsupported, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, and print_pw_aff_c().
Referenced by isl_stream_error(), printLine(), and test_output().
◆ isl_printer_print_pw_multi_aff()
| __isl_give isl_printer * isl_printer_print_pw_multi_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_pw_multi_aff * | pma ) |
Definition at line 3056 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_unsupported, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, pma, and print_pw_multi_aff_c().
Referenced by isl_obj_pw_multi_aff_print(), and main().
◆ isl_printer_print_pw_qpolynomial()
| __isl_give isl_printer * isl_printer_print_pw_qpolynomial | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_pw_qpolynomial * | pwqp ) |
Definition at line 2229 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_assert, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, print_pw_qpolynomial_c(), print_pw_qpolynomial_isl(), and pwqp.
Referenced by isl_obj_pw_qp_print(), and isl_pw_qpolynomial_print().
◆ isl_printer_print_pw_qpolynomial_fold()
| __isl_give isl_printer * isl_printer_print_pw_qpolynomial_fold | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_pw_qpolynomial_fold * | pwf ) |
Definition at line 2343 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_assert, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, print_pw_qpolynomial_fold_c(), and print_pw_qpolynomial_fold_isl().
Referenced by isl_obj_pw_qpf_print(), and isl_pw_qpolynomial_fold_print().
◆ isl_printer_print_qpolynomial()
| __isl_give isl_printer * isl_printer_print_qpolynomial | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_qpolynomial * | qp ) |
Definition at line 1909 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_unsupported, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, print_qpolynomial_c(), and print_qpolynomial_isl().
Referenced by isl_qpolynomial_print().
◆ isl_printer_print_qpolynomial_fold()
| __isl_give isl_printer * isl_printer_print_qpolynomial_fold | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_qpolynomial_fold * | fold ) |
Definition at line 2299 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_unsupported, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, print_qpolynomial_fold_c(), and qpolynomial_fold_print().
Referenced by isl_qpolynomial_fold_print().
◆ isl_printer_print_set()
| __isl_give isl_printer * isl_printer_print_set | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_set * | set ) |
Definition at line 1572 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_assert, ISL_FORMAT_EXT_POLYLIB, ISL_FORMAT_ISL, ISL_FORMAT_LATEX, ISL_FORMAT_OMEGA, ISL_FORMAT_POLYLIB, isl_map_print_isl(), isl_map_print_latex(), isl_printer_free(), isl_set, isl_set_print_omega(), isl_set_print_polylib(), p, set, and set_to_map.
Referenced by isl_obj_set_print(), isl_printer_print_ast_graft(), main(), and test_coalesce_special3().
◆ isl_printer_print_space()
| __isl_give isl_printer * isl_printer_print_space | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_space * | space ) |
Definition at line 2461 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_unsupported, ISL_FORMAT_ISL, ISL_FORMAT_OMEGA, isl_printer_free(), isl_printer_print_space_isl(), isl_space_get_ctx(), p, print_omega_parameters(), and isl_print_space_data::space.
◆ isl_printer_print_space_isl()
|
static |
Definition at line 2438 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_print_space(), isl_printer_free(), isl_printer_print_str(), isl_space_is_params(), p, print_param_tuple(), s_such_that, and isl_print_space_data::space.
Referenced by isl_printer_print_space().
◆ isl_printer_print_union_map()
| __isl_give isl_printer * isl_printer_print_union_map | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_union_map * | umap ) |
Definition at line 1657 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_invalid, ISL_FORMAT_ISL, ISL_FORMAT_LATEX, isl_printer_free(), isl_union_map_print_latex(), and p.
Referenced by isl_obj_union_map_print().
◆ isl_printer_print_union_pw_aff()
| __isl_give isl_printer * isl_printer_print_union_pw_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_union_pw_aff * | upa ) |
Definition at line 2911 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_unsupported, ISL_FORMAT_ISL, isl_printer_free(), isl_printer_get_ctx(), and p.
◆ isl_printer_print_union_pw_multi_aff()
| __isl_give isl_printer * isl_printer_print_union_pw_multi_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_union_pw_multi_aff * | upma ) |
Definition at line 3077 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_unsupported, ISL_FORMAT_ISL, isl_printer_free(), and p.
◆ isl_printer_print_union_pw_qpolynomial()
| __isl_give isl_printer * isl_printer_print_union_pw_qpolynomial | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_union_pw_qpolynomial * | upwqp ) |
Definition at line 2249 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_invalid, ISL_FORMAT_ISL, isl_printer_free(), and p.
Referenced by isl_obj_union_pw_qp_print().
◆ isl_printer_print_union_pw_qpolynomial_fold()
| __isl_give isl_printer * isl_printer_print_union_pw_qpolynomial_fold | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_union_pw_qpolynomial_fold * | upwf ) |
Definition at line 2378 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_invalid, ISL_FORMAT_ISL, isl_printer_free(), and p.
Referenced by isl_obj_union_pw_qpf_print().
◆ isl_printer_print_union_set()
| __isl_give isl_printer * isl_printer_print_union_set | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_union_set * | uset ) |
Definition at line 1675 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_error_invalid, ISL_FORMAT_ISL, ISL_FORMAT_LATEX, isl_printer_free(), isl_union_map_print_latex(), isl_union_set, p, and uset_to_umap().
Referenced by isl_obj_union_set_print(), and print_tree_band().
◆ isl_printer_print_union_set_isl_body()
|
static |
Definition at line 1627 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_union_set, p, and uset_to_umap().
Referenced by print_multi_union_pw_aff_isl().
◆ isl_pw_qpolynomial_fold_print()
| void isl_pw_qpolynomial_fold_print | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf, |
| FILE * | out, | ||
| unsigned | output_format ) |
Definition at line 2359 of file isl_output.c.
References __isl_keep, isl_printer_free(), isl_printer_print_pw_qpolynomial_fold(), isl_printer_set_output_format(), isl_printer_to_file(), and p.
Referenced by main().
◆ isl_pw_qpolynomial_print()
| void isl_pw_qpolynomial_print | ( | __isl_keep isl_pw_qpolynomial * | pwqp, |
| FILE * | out, | ||
| unsigned | output_format ) |
Definition at line 2035 of file isl_output.c.
References __isl_keep, isl_printer_free(), isl_printer_print_pw_qpolynomial(), isl_printer_set_output_format(), isl_printer_to_file(), p, and pwqp.
◆ isl_qpolynomial_fold_print()
| void isl_qpolynomial_fold_print | ( | __isl_keep isl_qpolynomial_fold * | fold, |
| FILE * | out, | ||
| unsigned | output_format ) |
Definition at line 1970 of file isl_output.c.
References __isl_keep, isl_assert, ISL_FORMAT_ISL, isl_printer_free(), isl_printer_print_qpolynomial_fold(), isl_printer_to_file(), and p.
◆ isl_qpolynomial_print()
| void isl_qpolynomial_print | ( | __isl_keep isl_qpolynomial * | qp, |
| FILE * | out, | ||
| unsigned | output_format ) |
Definition at line 1928 of file isl_output.c.
References __isl_keep, isl_assert, ISL_FORMAT_ISL, isl_printer_free(), isl_printer_print_qpolynomial(), isl_printer_to_file(), and p.
◆ isl_set_print_omega()
|
static |
Definition at line 1073 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, basic_set_print_omega(), isl_printer_print_str(), isl_set, p, and set.
Referenced by isl_printer_print_set().
◆ isl_set_print_polylib()
|
static |
Definition at line 176 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_map_print_polylib(), isl_set, p, set, and set_to_map.
Referenced by isl_printer_print_set().
◆ isl_union_map_print_latex()
|
static |
Definition at line 1648 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_union_map_foreach_map(), isl_union_print_data::p, p, and print_latex_map_body().
Referenced by isl_printer_print_union_map(), and isl_printer_print_union_set().
◆ last_modulo()
|
static |
Definition at line 2523 of file isl_output.c.
References __isl_keep, aff, isl_aff_domain_offset(), isl_dim_div, isl_int_is_divisible_by, isl_int_is_zero, isl_size_error, n, and p.
Referenced by print_aff_num().
◆ mark_all_unknown()
|
static |
Definition at line 974 of file isl_output.c.
References __isl_give, __isl_take, isl_mat_free(), isl_mat_rows(), and isl_mat_set_element_si().
Referenced by print_disjunct().
◆ need_exists()
|
static |
Definition at line 931 of file isl_output.c.
References __isl_keep, can_print_div_expr(), isl_bool_error, isl_bool_false, isl_bool_true, isl_mat_rows(), n, and p.
Referenced by isl_printer_print_constraint(), and print_disjunct().
◆ next_is_opposite()
|
static |
Definition at line 505 of file isl_output.c.
References __isl_keep, isl_basic_map_dim(), isl_basic_map_is_div_constraint(), isl_basic_map_offset(), isl_bool_error, isl_bool_false, isl_bool_ok(), isl_dim_all, isl_dim_div, isl_int_abs_eq, isl_int_eq, isl_seq_last_non_zero(), and total().
Referenced by print_constraints().
◆ open_exists()
|
static |
Definition at line 956 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_printer_print_str(), isl_print_space_data::latex, p, print_div_list(), s_open_exists, and isl_print_space_data::space.
Referenced by isl_printer_print_constraint(), and print_disjunct().
◆ poly_print()
|
static |
Definition at line 1782 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_union_print_data::first, isl_poly_as_rec(), isl_poly_is_cst(), isl_poly_is_negone(), isl_poly_is_one(), isl_poly_is_zero(), isl_printer_free(), isl_printer_print_str(), isl_poly_rec::n, n, isl_poly_rec::p, p, isl_poly_rec::poly, poly, poly_print(), poly_print_cst(), poly_rec_n_non_zero(), print_pow(), and isl_poly::var.
Referenced by poly_print(), print_qpolynomial(), and print_qpolynomial_c().
◆ poly_print_cst()
|
static |
Definition at line 1713 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_union_print_data::first, isl_int_is_neg, isl_int_is_one, isl_int_is_zero, isl_int_neg, isl_int_sgn, isl_poly_as_cst(), isl_printer_free(), isl_printer_print_isl_int(), isl_printer_print_str(), neg(), p, poly, and sgn().
Referenced by poly_print().
◆ poly_rec_n_non_zero()
|
static |
Definition at line 1693 of file isl_output.c.
References __isl_keep, isl_poly_is_zero(), isl_size_error, and n.
Referenced by poly_print().
◆ pos2type()
|
static |
Definition at line 240 of file isl_output.c.
References __isl_keep, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_space_dim(), isl_stat_error, isl_stat_ok, pos(), and type.
Referenced by print_as_modulo_pos(), print_ls_term_c(), and print_term().
◆ print_aff_body()
|
static |
Definition at line 2682 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_aff_is_nan(), isl_int_is_one, isl_printer_print_isl_int(), isl_printer_print_str(), p, print_aff_num(), and isl_print_space_data::space.
Referenced by print_body_aff(), print_dim_ma(), and print_dim_mpa().
◆ print_aff_c()
|
static |
Definition at line 2824 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_aff_domain_dim(), isl_dim_all, isl_int_is_one, isl_printer_free(), isl_printer_print_isl_int(), isl_printer_print_str(), p, print_ls_partial_affine_c(), and total().
Referenced by isl_printer_print_aff(), and print_unnamed_pw_multi_aff_c().
◆ print_aff_isl()
|
static |
Definition at line 2718 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_printer_free(), isl_printer_print_str(), p, print_body_aff(), and print_param_tuple().
Referenced by isl_printer_print_aff().
◆ print_aff_num()
|
static |
Definition at line 2662 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_aff_dim(), isl_dim_div, isl_printer_free(), last_modulo(), p, print_aff_num_base(), print_aff_num_mod(), and isl_print_space_data::space.
Referenced by print_aff_body(), print_aff_num_mod(), and print_mod_term().
◆ print_aff_num_base()
|
static |
Definition at line 2548 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_aff_domain_dim(), isl_dim_all, isl_printer_free(), p, print_affine_of_len(), isl_print_space_data::space, and total().
Referenced by print_aff_num().
◆ print_aff_num_mod()
|
static |
Definition at line 2619 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, a(), aff, isl_aff_add(), isl_aff_copy(), isl_aff_free(), isl_aff_get_coefficient_val(), isl_aff_get_denominator_val(), isl_aff_get_div(), isl_aff_plain_is_zero(), isl_aff_scale_val(), isl_aff_set_coefficient_si(), isl_dim_div, isl_printer_free(), isl_val_copy(), isl_val_div(), isl_val_free(), isl_val_neg(), m, p, print_aff_num(), print_mod_term(), and isl_print_space_data::space.
Referenced by print_aff_num().
◆ print_affine()
|
static |
Definition at line 353 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_all, isl_mat_rows(), isl_printer_free(), isl_space_dim(), p, print_affine_of_len(), and total().
Referenced by print_constraint(), print_eq_mod_constraint(), and print_half_constraint().
◆ print_affine_of_len()
|
static |
Definition at line 320 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_int_is_neg, isl_int_is_zero, isl_int_neg, isl_printer_print_str(), p, and print_term().
Referenced by isl_printer_print_constraint(), print_aff_num_base(), print_affine(), print_dim_eq(), print_div(), and print_mod().
◆ print_as_modulo_pos()
|
static |
Definition at line 643 of file isl_output.c.
References __isl_keep, can_print_div_expr(), isl_dim_div, ISL_FORMAT_C, isl_int_is_divisible_by, isl_mat_rows(), isl_size_error, p, pos(), pos2type(), isl_print_space_data::space, and type.
Referenced by print_eq_constraint().
◆ print_base()
|
static |
Definition at line 1745 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_all, isl_printer_free(), isl_space_dim(), p, print_div(), print_term(), total(), and var().
Referenced by print_pow().
◆ print_basic_set_c()
|
static |
Definition at line 2138 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_basic_set, isl_basic_set_dim(), isl_basic_set_get_divs(), isl_dim_all, isl_dim_div, isl_local_space_alloc_div(), isl_local_space_free(), isl_printer_free(), isl_printer_print_isl_int(), isl_printer_print_str(), isl_seq_last_non_zero(), isl_space_copy(), p, print_constraint_c(), print_ls_partial_affine_c(), isl_print_space_data::space, and total().
Referenced by print_set_c().
◆ print_body_aff()
|
static |
Definition at line 2700 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_dim_set, isl_printer_print_str(), isl_space_is_params(), p, print_aff_body(), and print_tuple().
Referenced by print_aff_isl().
◆ print_body_map()
|
static |
Definition at line 1459 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, free_split(), ISL_BASIC_MAP_RATIONAL, ISL_F_ISSET, isl_print_space(), isl_printer_free(), map, p, print_disjuncts_map(), print_split_map(), split(), and split_aff().
Referenced by isl_map_print_isl().
◆ print_body_multi_aff()
|
static |
Definition at line 2953 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_print_space(), p, isl_print_space_data::print_dim, print_dim_ma(), and isl_print_space_data::user.
Referenced by print_multi_aff_isl().
◆ print_body_pw_qpolynomial()
|
static |
Definition at line 1986 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_print_space(), isl_printer_print_str(), isl_qpolynomial_get_domain_space(), isl_space_free(), isl_space_is_params(), p, print_disjuncts(), print_qpolynomial(), pwqp, set_to_map, and isl_print_space_data::space.
Referenced by print_pw_qpolynomial_isl().
◆ print_body_pw_qpolynomial_fold()
|
static |
Definition at line 2050 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_print_space(), isl_printer_print_str(), isl_qpolynomial_fold_get_domain_space(), isl_space_free(), isl_space_is_params(), p, print_disjuncts(), qpolynomial_fold_print(), set_to_map, and isl_print_space_data::space.
Referenced by print_pw_qpolynomial_fold_isl().
◆ print_constraint()
|
static |
Definition at line 582 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_int_abs, isl_int_set_si, isl_printer_print_str(), isl_print_space_data::latex, op, p, print_affine(), print_term(), and isl_print_space_data::space.
Referenced by print_constraints(), and print_eq_constraint().
◆ print_constraint_c()
|
static |
Definition at line 2101 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_div, isl_local_space_dim(), isl_local_space_is_div_constraint(), isl_local_space_offset(), isl_printer_free(), isl_printer_print_str(), isl_seq_last_non_zero(), op, p, and print_ls_affine_c().
Referenced by print_basic_set_c().
◆ print_constraint_polylib()
|
static |
Definition at line 63 of file isl_output.c.
References __isl_give, __isl_take, isl_basic_map::eq, isl_basic_map::ineq, isl_basic_map_dim(), isl_dim_in, isl_dim_out, isl_dim_param, isl_printer_end_line(), isl_printer_free(), isl_printer_print_int(), isl_printer_print_isl_int(), isl_printer_print_str(), isl_printer_start_line(), n, isl_basic_map::n_div, and p.
Referenced by print_constraints_polylib().
◆ print_constraints()
|
static |
Definition at line 777 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, can_print_div_expr(), combine(), constraint_op(), isl_vec::el, isl_basic_map_copy(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_is_div_constraint(), isl_basic_map_offset(), ISL_BASIC_MAP_RATIONAL, isl_basic_map_sort_constraints(), isl_bool_false, isl_dim_all, isl_dim_div, ISL_F_ISSET, isl_int_is_neg, isl_int_is_negone, isl_int_set_si, isl_int_sgn, isl_printer_free(), isl_printer_print_str(), isl_seq_cpy(), isl_seq_last_non_zero(), isl_seq_neg(), isl_vec_alloc(), isl_vec_free(), isl_print_space_data::latex, next_is_opposite(), op, p, print_constraint(), print_eq_constraint(), print_half_constraint(), s_and, isl_print_space_data::space, and total().
Referenced by print_disjunct().
◆ print_constraints_polylib()
|
static |
Definition at line 99 of file isl_output.c.
References __isl_give, __isl_take, isl_printer_set_isl_int_width(), isl_basic_map::n_eq, isl_basic_map::n_ineq, p, and print_constraint_polylib().
Referenced by bset_print_constraints_polylib(), and isl_basic_map_print_polylib().
◆ print_dim_eq()
|
static |
Definition at line 1414 of file isl_output.c.
References __isl_give, __isl_take, defining_equality(), isl_basic_map::eq, isl_printer_print_str(), isl_space_has_dim_name(), isl_space_offset(), isl_print_space_data::latex, p, pos(), print_affine_of_len(), print_name(), isl_print_space_data::space, isl_print_space_data::type, and isl_print_space_data::user.
Referenced by print_latex_map(), and print_split_map().
◆ print_dim_ma()
|
static |
Definition at line 2932 of file isl_output.c.
References __isl_give, __isl_take, isl_dim_in, isl_dim_out, isl_dim_set, isl_space_free(), isl_print_space_data::latex, ma, p, pos(), print_aff_body(), print_name(), isl_print_space_data::space, isl_print_space_data::type, type, and isl_print_space_data::user.
Referenced by print_body_multi_aff().
◆ print_dim_mi()
|
static |
Definition at line 3250 of file isl_output.c.
References __isl_give, __isl_take, isl_dim_out, isl_printer_print_id(), isl_print_space_data::latex, p, pos(), print_name(), isl_print_space_data::space, isl_print_space_data::type, and isl_print_space_data::user.
Referenced by print_multi_id_isl().
◆ print_dim_mpa()
|
static |
Definition at line 3103 of file isl_output.c.
References __isl_give, __isl_take, isl_dim_in, isl_dim_out, isl_dim_set, isl_printer_print_str(), isl_set_plain_is_universe(), isl_space_free(), isl_print_space_data::latex, p, pa, pos(), print_aff_body(), print_disjuncts(), print_name(), isl_print_space_data::space, isl_print_space_data::type, type, and isl_print_space_data::user.
Referenced by print_multi_pw_aff_isl().
◆ print_dim_mv()
|
static |
Definition at line 3197 of file isl_output.c.
References __isl_give, __isl_take, isl_dim_out, isl_printer_print_val(), isl_print_space_data::latex, p, pos(), print_name(), isl_print_space_data::space, isl_print_space_data::type, and isl_print_space_data::user.
Referenced by print_multi_val_isl().
◆ print_disjunct()
|
static |
Definition at line 993 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_basic_map_get_divs(), isl_mat_free(), isl_printer_print_str(), isl_print_space_data::latex, mark_all_unknown(), need_exists(), open_exists(), p, print_constraints(), s_close_exists, and isl_print_space_data::space.
Referenced by isl_basic_map_print_isl(), print_disjuncts_core(), print_disjuncts_in_hull(), and print_optional_disjunct().
◆ print_disjuncts()
|
static |
Definition at line 1188 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, hull, isl_basic_map_free(), isl_basic_map_plain_is_universe(), isl_map_copy(), isl_map_plain_is_universe(), isl_map_plain_unshifted_simple_hull(), isl_printer_free(), isl_printer_print_str(), isl_print_space_data::latex, map, p, print_disjuncts_core(), print_disjuncts_in_hull(), s_such_that, and isl_print_space_data::space.
Referenced by FN(), print_body_pw_qpolynomial(), print_body_pw_qpolynomial_fold(), print_dim_mpa(), and print_disjuncts_map().
◆ print_disjuncts_core()
|
static |
Definition at line 1126 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_printer_print_str(), isl_print_space_data::latex, map, p, print_disjunct(), s_or, and isl_print_space_data::space.
Referenced by print_disjuncts(), and print_disjuncts_in_hull().
◆ print_disjuncts_in_hull()
|
static |
Definition at line 1154 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, hull, isl_map_copy(), isl_map_free(), isl_map_plain_gist_basic_map(), isl_map_plain_is_universe(), isl_printer_free(), isl_printer_print_str(), isl_print_space_data::latex, map, p, print_disjunct(), print_disjuncts_core(), s_and, and isl_print_space_data::space.
Referenced by print_disjuncts().
◆ print_disjuncts_map()
|
static |
Definition at line 1223 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_map_plain_is_universe(), isl_printer_print_str(), isl_space_is_params(), isl_print_space_data::latex, map, p, print_disjuncts(), s_such_that, and isl_print_space_data::space.
Referenced by print_body_map(), print_disjuncts_set(), print_latex_map(), and print_split_map().
◆ print_disjuncts_set()
|
static |
Definition at line 1236 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_set, isl_print_space_data::latex, p, print_disjuncts_map(), set, set_to_map, and isl_print_space_data::space.
Referenced by print_multi_pw_aff_isl().
◆ print_div()
|
static |
Definition at line 874 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, ISL_FORMAT_C, isl_printer_free(), isl_printer_print_isl_int(), isl_printer_print_str(), p, pos(), print_affine_of_len(), and isl_print_space_data::space.
Referenced by print_base(), print_div_list(), and print_term().
◆ print_div_list()
|
static |
Definition at line 897 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, can_print_div_expr(), isl_dim_div, isl_mat_rows(), isl_printer_free(), isl_printer_print_str(), isl_print_space_data::latex, p, print_div(), print_name(), and isl_print_space_data::space.
Referenced by isl_printer_print_local_space(), and open_exists().
◆ print_eq_constraint()
|
static |
Definition at line 720 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_mat_rows(), isl_printer_free(), isl_print_space_data::latex, p, print_as_modulo_pos(), print_constraint(), print_eq_mod_constraint(), and isl_print_space_data::space.
Referenced by print_constraints().
◆ print_eq_mod_constraint()
|
static |
Definition at line 686 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_int_abs, isl_int_divexact, isl_int_is_one, isl_int_set_si, isl_printer_get_ctx(), isl_printer_print_isl_int(), isl_printer_print_str(), isl_seq_combine(), isl_print_space_data::latex, isl_ctx::negone, p, print_affine(), print_mod(), and isl_print_space_data::space.
Referenced by print_eq_constraint().
◆ print_half_constraint()
|
static |
Definition at line 559 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_int_set_si, isl_printer_print_str(), op, p, print_affine(), and isl_print_space_data::space.
Referenced by print_constraints().
◆ print_latex_map()
|
static |
Definition at line 1494 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_print_space(), isl_printer_print_str(), isl_print_space_data::latex, map, p, isl_print_space_data::print_dim, print_dim_eq(), print_disjuncts_map(), print_param_tuple(), s_close_set, s_open_set, and isl_print_space_data::user.
Referenced by isl_map_print_latex().
◆ print_latex_map_body()
|
static |
Definition at line 1633 of file isl_output.c.
References __isl_take, isl_union_print_data::first, isl_map_free(), isl_map_print_latex(), isl_printer_print_str(), isl_stat_ok, map, isl_union_print_data::p, and user.
Referenced by isl_union_map_print_latex().
◆ print_ls_affine_c()
|
static |
Definition at line 2814 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_all, isl_local_space_dim(), isl_printer_free(), p, print_ls_partial_affine_c(), and total().
Referenced by print_constraint_c(), and print_ls_name_c().
◆ print_ls_name_c()
|
static |
Definition at line 2740 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_div, isl_printer_print_isl_int(), isl_printer_print_str(), isl_space_get_dim_name(), name, p, pos(), print_ls_affine_c(), and type.
Referenced by print_ls_term_c().
◆ print_ls_partial_affine_c()
|
static |
Definition at line 2785 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_int_is_neg, isl_int_is_zero, isl_int_neg, isl_printer_print_str(), p, and print_ls_term_c().
Referenced by print_aff_c(), print_basic_set_c(), and print_ls_affine_c().
◆ print_ls_term_c()
|
static |
Definition at line 2760 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_int_is_negone, isl_int_is_one, isl_printer_free(), isl_printer_print_isl_int(), isl_printer_print_str(), p, pos(), pos2type(), print_ls_name_c(), and type.
Referenced by print_ls_partial_affine_c().
◆ print_mod()
|
static |
Definition at line 611 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_printer_free(), isl_printer_print_isl_int(), isl_printer_print_str(), isl_print_space_data::latex, p, pos(), print_affine_of_len(), s_mod, and isl_print_space_data::space.
Referenced by print_eq_mod_constraint().
◆ print_mod_term()
|
static |
Definition at line 2569 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_printer_free(), isl_printer_print_str(), isl_printer_print_val(), isl_val_free(), isl_val_is_neg(), isl_val_is_one(), isl_val_neg(), p, print_aff_num(), and isl_print_space_data::space.
Referenced by print_aff_num_mod().
◆ print_multi_aff_isl()
|
static |
Definition at line 2963 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_printer_free(), isl_printer_print_str(), p, print_body_multi_aff(), and print_param_tuple().
Referenced by isl_printer_print_multi_aff().
◆ print_multi_id_isl()
|
static |
Definition at line 3263 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_print_space(), isl_printer_print_str(), p, isl_print_space_data::print_dim, print_dim_mi(), print_param_tuple(), isl_print_space_data::space, and isl_print_space_data::user.
Referenced by isl_printer_print_multi_id().
◆ print_multi_pw_aff_isl()
|
static |
Definition at line 3150 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_multi_pw_aff_has_non_trivial_domain(), isl_print_space(), isl_printer_free(), isl_printer_print_str(), isl_space_copy(), isl_space_domain(), isl_space_free(), p, isl_print_space_data::print_dim, print_dim_mpa(), print_disjuncts_set(), print_param_tuple(), isl_print_space_data::space, and isl_print_space_data::user.
Referenced by isl_printer_print_multi_pw_aff().
◆ print_multi_union_pw_aff_isl()
|
static |
Definition at line 3325 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_multi_union_pw_aff_has_non_trivial_domain(), isl_print_space(), isl_printer_free(), isl_printer_print_str(), isl_printer_print_union_set_isl_body(), isl_space_free(), mupa, p, isl_print_space_data::print_dim, print_param_tuple(), print_union_pw_aff_dim(), isl_print_space_data::space, and isl_print_space_data::user.
Referenced by isl_printer_print_multi_union_pw_aff().
◆ print_multi_val_isl()
|
static |
Definition at line 3210 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_print_space(), isl_printer_free(), isl_printer_print_str(), p, isl_print_space_data::print_dim, print_dim_mv(), print_param_tuple(), and isl_print_space_data::user.
Referenced by isl_printer_print_multi_val().
◆ print_name()
|
static |
Definition at line 206 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, count_same_name(), isl_dim_div, isl_dim_in, isl_dim_param, isl_printer_free(), isl_printer_print_str(), isl_space_get_dim_name(), isl_space_is_set(), name, p, pos(), s_div_prefix, s_input_prefix, s_output_prefix, s_param_prefix, and type.
Referenced by print_dim_eq(), print_dim_ma(), print_dim_mi(), print_dim_mpa(), print_dim_mv(), print_div_list(), print_nested_var_list(), and print_term().
◆ print_nested_map_dim()
|
static |
Definition at line 451 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_in, isl_dim_out, isl_printer_print_str(), isl_print_space_data::latex, offset, p, print_nested_tuple(), and s_to.
Referenced by print_nested_tuple().
◆ print_nested_tuple()
|
static |
Definition at line 406 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_in, isl_dim_out, isl_printer_free(), isl_printer_print_str(), isl_space_dim(), isl_space_get_tuple_name(), isl_print_space_data::latex, n, name, offset, p, print_nested_map_dim(), print_nested_var_list(), s_close_list, s_open_list, and isl_print_space_data::space.
Referenced by print_nested_map_dim(), and print_tuple().
◆ print_nested_var_list()
|
static |
Definition at line 369 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_out, isl_printer_free(), isl_printer_print_str(), isl_space_dim(), isl_print_space_data::latex, offset, p, isl_print_space_data::print_dim, print_name(), isl_print_space_data::space, and isl_print_space_data::type.
Referenced by print_nested_tuple(), and print_var_list().
◆ print_omega_parameters()
|
static |
Definition at line 481 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_param, isl_printer_end_line(), isl_printer_free(), isl_printer_print_str(), isl_printer_start_line(), isl_space_dim(), p, print_var_list(), and isl_print_space_data::space.
Referenced by isl_printer_print_space().
◆ print_optional_disjunct()
|
static |
Definition at line 1023 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_basic_map_plain_is_universe(), isl_printer_print_str(), isl_print_space_data::latex, p, print_disjunct(), and isl_print_space_data::space.
Referenced by basic_map_print_omega(), and basic_set_print_omega().
◆ print_param_tuple()
|
static |
Definition at line 1089 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_param, isl_printer_free(), isl_printer_print_str(), isl_space_dim(), isl_print_space_data::latex, p, print_tuple(), s_to, and isl_print_space_data::space.
Referenced by FN(), FN(), isl_basic_map_print_isl(), isl_map_print_isl(), isl_printer_print_constraint(), isl_printer_print_local_space(), isl_printer_print_space_isl(), print_aff_isl(), print_latex_map(), print_multi_aff_isl(), print_multi_id_isl(), print_multi_pw_aff_isl(), print_multi_union_pw_aff_isl(), print_multi_val_isl(), print_pw_qpolynomial_fold_isl(), print_pw_qpolynomial_isl(), and print_qpolynomial_isl().
◆ print_pow()
|
static |
Definition at line 1760 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, ISL_FORMAT_C, isl_printer_print_int(), isl_printer_print_str(), p, print_base(), and var().
Referenced by poly_print().
◆ print_pw_aff_c()
|
static |
Definition at line 2847 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, domain, isl_ast_build_expr_from_pw_aff(), isl_ast_build_free(), isl_ast_build_from_context(), isl_ast_expr_free(), isl_die, isl_error_unsupported, isl_printer_free(), isl_printer_print_ast_expr(), isl_pw_aff_copy(), isl_pw_aff_domain(), isl_set, and p.
Referenced by isl_printer_print_pw_aff().
◆ print_pw_multi_aff_c()
|
static |
Definition at line 3022 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_dim_out, isl_error_unsupported, isl_printer_free(), isl_printer_print_str(), isl_pw_multi_aff_dim(), isl_pw_multi_aff_get_tuple_name(), n, name, p, pma, and print_unnamed_pw_multi_aff_c().
Referenced by isl_printer_print_pw_multi_aff().
◆ print_pw_qpolynomial_c()
|
static |
Definition at line 2203 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_printer_print_str(), isl_pw_qpolynomial_get_domain_space(), isl_set_plain_is_universe(), isl_space_free(), p, print_qpolynomial_c(), print_set_c(), pwqp, and isl_print_space_data::space.
Referenced by isl_printer_print_pw_qpolynomial().
◆ print_pw_qpolynomial_fold_c()
|
static |
Definition at line 2317 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_printer_print_str(), isl_pw_qpolynomial_fold_get_domain_space(), isl_set_plain_is_universe(), isl_space_free(), p, print_qpolynomial_fold_c(), print_set_c(), and isl_print_space_data::space.
Referenced by isl_printer_print_pw_qpolynomial_fold().
◆ print_pw_qpolynomial_fold_isl()
|
static |
Definition at line 2074 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_in, isl_printer_print_str(), isl_space_is_set(), p, print_body_pw_qpolynomial_fold(), print_param_tuple(), and print_tuple().
Referenced by isl_printer_print_pw_qpolynomial_fold().
◆ print_pw_qpolynomial_isl()
|
static |
Definition at line 2010 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_in, isl_printer_free(), isl_printer_print_str(), isl_space_is_set(), p, print_body_pw_qpolynomial(), print_param_tuple(), print_tuple(), and pwqp.
Referenced by isl_printer_print_pw_qpolynomial().
◆ print_qpolynomial()
|
static |
Definition at line 1845 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_printer_free(), p, and poly_print().
Referenced by print_body_pw_qpolynomial(), print_qpolynomial_isl(), and qpolynomial_fold_print().
◆ print_qpolynomial_c()
|
static |
Definition at line 1882 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_printer_free(), isl_printer_print_str(), isl_printer_print_val(), isl_qpolynomial_copy(), isl_qpolynomial_free(), isl_qpolynomial_get_den(), isl_qpolynomial_scale_val(), isl_val_copy(), isl_val_free(), isl_val_is_one(), p, poly_print(), and isl_print_space_data::space.
Referenced by isl_printer_print_qpolynomial(), print_pw_qpolynomial_c(), and print_qpolynomial_fold_c().
◆ print_qpolynomial_fold_c()
|
static |
Definition at line 2268 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_fold_max, isl_fold_min, isl_printer_free(), isl_printer_print_str(), isl_qpolynomial_fold_peek_list(), n, p, print_qpolynomial_c(), and isl_print_space_data::space.
Referenced by isl_printer_print_qpolynomial_fold(), and print_pw_qpolynomial_fold_c().
◆ print_qpolynomial_isl()
|
static |
Definition at line 1857 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_print_space(), isl_printer_free(), isl_printer_print_str(), isl_space_is_params(), p, print_param_tuple(), and print_qpolynomial().
Referenced by isl_printer_print_qpolynomial().
◆ print_set_c()
|
static |
Definition at line 2178 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_printer_free(), isl_printer_print_str(), isl_set, p, print_basic_set_c(), set, and isl_print_space_data::space.
Referenced by print_pw_qpolynomial_c(), print_pw_qpolynomial_fold_c(), and print_unnamed_pw_multi_aff_c().
◆ print_split_map()
|
static |
Definition at line 1436 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, ISL_BASIC_MAP_RATIONAL, ISL_F_ISSET, isl_print_space(), isl_printer_print_str(), map, n, p, isl_print_space_data::print_dim, print_dim_eq(), print_disjuncts_map(), isl_print_space_data::space, split(), and isl_print_space_data::user.
Referenced by print_body_map().
◆ print_term()
|
static |
Definition at line 287 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, can_print_div_expr(), isl_dim_div, ISL_FORMAT_C, isl_int_is_negone, isl_int_is_one, isl_printer_free(), isl_printer_print_isl_int(), isl_printer_print_str(), p, pos(), pos2type(), print_div(), print_name(), and type.
Referenced by print_affine_of_len(), print_base(), and print_constraint().
◆ print_tuple()
|
static |
Definition at line 442 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, p, print_nested_tuple(), isl_print_space_data::space, isl_print_space_data::type, and type.
Referenced by isl_print_space(), print_body_aff(), print_param_tuple(), print_pw_qpolynomial_fold_isl(), and print_pw_qpolynomial_isl().
◆ print_union_pw_aff_dim()
|
static |
Definition at line 3303 of file isl_output.c.
References __isl_give, __isl_take, isl_union_pw_aff_free(), mupa, p, pos(), and isl_print_space_data::user.
Referenced by print_multi_union_pw_aff_isl().
◆ print_unnamed_pw_multi_aff_c()
|
static |
Definition at line 3003 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_printer_print_str(), isl_pw_multi_aff_get_domain_space(), isl_space_free(), p, pma, print_aff_c(), print_set_c(), and isl_print_space_data::space.
Referenced by print_pw_multi_aff_c().
◆ print_var_list()
|
static |
Definition at line 394 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, p, print_nested_var_list(), isl_print_space_data::space, and type.
Referenced by basic_map_print_omega(), basic_set_print_omega(), and print_omega_parameters().
◆ qpolynomial_fold_print()
|
static |
Definition at line 1942 of file isl_output.c.
References __isl_give, __isl_keep, __isl_take, isl_fold_max, isl_fold_min, isl_printer_free(), isl_printer_print_str(), isl_qpolynomial_fold_peek_list(), n, p, and print_qpolynomial().
Referenced by isl_printer_print_qpolynomial_fold(), and print_body_pw_qpolynomial_fold().
◆ split_aff()
|
static |
Definition at line 1336 of file isl_output.c.
References __isl_give, __isl_keep, aff, aff_split_cmp(), drop_aff(), free_split(), get_aff(), isl_basic_map_copy(), isl_basic_map_cow(), isl_basic_map_free(), isl_basic_map_plain_is_equal(), isl_calloc_array, isl_map_from_basic_map(), isl_map_get_ctx(), isl_map_union(), isl_sort(), map, n, and split().
Referenced by isl_map_print_latex(), and print_body_map().
Variable Documentation
◆ s_and
|
static |
Definition at line 46 of file isl_output.c.
Referenced by print_constraints(), and print_disjuncts_in_hull().
◆ s_close_exists
|
static |
Definition at line 56 of file isl_output.c.
Referenced by isl_printer_print_constraint(), isl_printer_print_local_space(), and print_disjunct().
◆ s_close_list
|
static |
Definition at line 53 of file isl_output.c.
Referenced by print_nested_tuple().
◆ s_close_set
|
static |
Definition at line 51 of file isl_output.c.
Referenced by FN(), isl_map_print_isl(), and print_latex_map().
◆ s_div_prefix
|
static |
Definition at line 57 of file isl_output.c.
Referenced by print_name().
◆ s_ge
|
static |
Definition at line 49 of file isl_output.c.
Referenced by constraint_op().
◆ s_input_prefix
|
static |
Definition at line 60 of file isl_output.c.
Referenced by print_name().
◆ s_le
|
static |
Definition at line 48 of file isl_output.c.
Referenced by constraint_op().
◆ s_mod
|
static |
Definition at line 58 of file isl_output.c.
Referenced by print_mod().
◆ s_open_exists
|
static |
Definition at line 55 of file isl_output.c.
Referenced by isl_printer_print_local_space(), and open_exists().
◆ s_open_list
|
static |
Definition at line 52 of file isl_output.c.
Referenced by print_nested_tuple().
◆ s_open_set
|
static |
Definition at line 50 of file isl_output.c.
Referenced by FN(), isl_map_print_isl(), and print_latex_map().
◆ s_or
|
static |
Definition at line 47 of file isl_output.c.
Referenced by print_disjuncts_core().
◆ s_output_prefix
|
static |
Definition at line 61 of file isl_output.c.
Referenced by print_name().
◆ s_param_prefix
|
static |
Definition at line 59 of file isl_output.c.
Referenced by print_name().
◆ s_such_that
|
static |
Definition at line 54 of file isl_output.c.
Referenced by isl_printer_print_local_space(), isl_printer_print_space_isl(), print_disjuncts(), and print_disjuncts_map().
◆ s_to
|
static |
Definition at line 45 of file isl_output.c.
Referenced by isl_print_space(), print_nested_map_dim(), and print_param_tuple().
Generated on for Polly by
1.14.0