#include <ctype.h>
#include <stdio.h>
#include <string.h>
#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl_id_private.h>
#include <isl/set.h>
#include <isl_seq.h>
#include <isl_stream_private.h>
#include <isl/obj.h>
#include "isl_polynomial_private.h"
#include <isl/union_set.h>
#include <isl/union_map.h>
#include <isl_mat_private.h>
#include <isl_aff_private.h>
#include <isl_vec_private.h>
#include <isl/list.h>
#include <isl_val_private.h>
#include "isl_read_from_str_templ.c"
#include "isl_stream_read_pw_with_params_templ.c"
#include "isl_stream_read_with_params_templ.c"
#include <isl_multi_from_tuple_templ.c>
#include <isl_multi_read_no_explicit_domain_templ.c>

Classes
struct	variable
struct	vars

Macros
#define	TYPE_BASE val
#define	TYPE_BASE space
#define	TYPE_BASE basic_map
#define	TYPE_BASE basic_set
#define	TYPE_BASE map
#define	TYPE_BASE set
#define	TYPE_BASE union_map
#define	TYPE_BASE union_set
#define	TYPE_BASE pw_qpolynomial
#define	TYPE_BASE pw_qpolynomial_fold
#define	BASE aff
#define	TYPE_BASE aff
#define	TYPE_BASE pw_aff
#define	BASE pw_aff
#define	BASE multi_aff
#define	TYPE_BASE pw_multi_aff
#define	TYPE_BASE union_pw_multi_aff
#define	BASE val
#define	BASE id
#define	BASE aff
#define	TYPE_BASE multi_aff
#define	TYPE_BASE multi_pw_aff
#define	TYPE_BASE union_pw_aff
#define	TYPE_BASE multi_union_pw_aff
#define	TYPE_BASE union_pw_qpolynomial

Functions
static struct vars *	vars_new (struct isl_ctx *ctx)
static void	variable_free (struct variable *var)
static void	vars_free (struct vars *v)
static void	vars_drop (struct vars *v, int n)
static struct variable *	variable_new (struct vars v, const char name, int len, int pos)
static int	vars_pos (struct vars v, const char s, int len)
static int	vars_add_anon (struct vars *v)
static struct isl_token *	next_token (__isl_keep isl_stream *s)
__isl_give isl_val *	isl_stream_read_val (__isl_keep isl_stream *s)
static isl_stat	accept_cst_factor (__isl_keep isl_stream s, isl_int f)
static __isl_give isl_pw_aff *	affine_mod (__isl_keep isl_stream s, struct vars v, __isl_take isl_pw_aff *aff)
static __isl_give isl_pw_aff *	accept_affine (__isl_keep isl_stream s, __isl_take isl_space space, struct vars *v)
static __isl_give isl_pw_aff_list *	accept_affine_list (__isl_keep isl_stream s, __isl_take isl_space space, struct vars *v)
static __isl_give isl_pw_aff *	accept_minmax (__isl_keep isl_stream s, __isl_take isl_space space, struct vars *v)
static __isl_give isl_pw_aff *	pw_aff_div_by_cst (__isl_keep isl_stream s, __isl_take isl_pw_aff pa)
static struct isl_token *	next_signed_value_fn (__isl_keep isl_stream s, struct isl_token (next)(__isl_keep isl_stream s), char *msg)
static struct isl_token *	next_signed_value (__isl_keep isl_stream s, char msg)
static struct isl_token *	next_signed_value_on_same_line (__isl_keep isl_stream s, char msg)
static int	is_start_of_div (struct isl_token *tok)
static __isl_give isl_pw_aff *	accept_div (__isl_keep isl_stream s, __isl_take isl_space space, struct vars *v)
static __isl_give isl_pw_aff *	accept_affine_factor (__isl_keep isl_stream s, __isl_take isl_space space, struct vars *v)
static __isl_give isl_pw_aff *	nan_on_domain (__isl_keep isl_space *space)
static int	is_list_comparator_type (int type)
static int	is_comparator (struct isl_token *tok)
static __isl_give isl_map *	read_formula (__isl_keep isl_stream s, struct vars v, __isl_take isl_map *map, int rational)
static __isl_give isl_pw_aff *	accept_extended_affine (__isl_keep isl_stream s, __isl_take isl_space space, struct vars *v, int rational)
static __isl_give isl_pw_aff *	accept_ternary (__isl_keep isl_stream s, __isl_take isl_map cond, struct vars *v, int rational)
static void	set_current_line_col (__isl_keep isl_stream s, int line, int *col)
static isl_stat	push_aff (__isl_keep isl_stream s, int line, int col, __isl_take isl_pw_aff pa)
static int	next_is_comparator (__isl_keep isl_stream *s)
static __isl_give isl_map *	read_var_def (__isl_keep isl_stream s, __isl_take isl_map map, enum isl_dim_type type, struct vars *v, int rational)
static __isl_give isl_map *	read_defined_var_list (__isl_keep isl_stream s, struct vars v, __isl_take isl_map *map, int rational)
static int	next_is_tuple (__isl_keep isl_stream *s)
static int	next_is_end_tuple_element (__isl_keep isl_stream *s)
static int	next_is_condition_start (__isl_keep isl_stream *s)
static isl_bool	pw_aff_is_expr (__isl_keep isl_pw_aff *pa, int i, int n)
static isl_bool	tuple_has_expr (__isl_keep isl_multi_pw_aff *tuple)
static __isl_give isl_space *	space_set_dim_name (__isl_take isl_space space, int pos, char name)
static __isl_give isl_space *	space_set_last_dim_name (__isl_take isl_space space, char name)
static __isl_give isl_pw_aff *	identity_tuple_el_on_space (__isl_take isl_space space, struct vars v)
static __isl_give isl_pw_aff *	init_range (__isl_keep isl_pw_aff pa, struct vars v)
static __isl_give isl_pw_aff *	set_lower (__isl_take isl_pw_aff range_pa, __isl_take isl_pw_aff lower)
static __isl_give isl_pw_aff *	set_upper (__isl_take isl_pw_aff range_pa, __isl_take isl_pw_aff upper)
static __isl_give isl_pw_aff *	construct_lower (__isl_take isl_pw_aff pa, struct vars v)
static __isl_give isl_pw_aff *	construct_upper (__isl_take isl_pw_aff pa, struct vars v)
static __isl_give isl_pw_aff *	construct_range (__isl_take isl_pw_aff pa, __isl_take isl_pw_aff pa2, struct vars *v)
static int	resolve_paren_expr (__isl_keep isl_stream s, struct vars v, __isl_take isl_map *map, int rational)
static __isl_give isl_pw_aff *	update_piecewise_affine_colon (__isl_take isl_pw_aff pa, __isl_keep isl_stream s, struct vars *v, int rational)
static __isl_give isl_pw_aff *	accept_piecewise_affine (__isl_keep isl_stream s, __isl_take isl_space space, struct vars *v, int rational)
static __isl_give isl_pw_aff *	read_tuple_var_def (__isl_keep isl_stream s, struct vars v, int rational)
static __isl_give isl_space *	read_tuple_list (__isl_keep isl_stream s, struct vars v, __isl_take isl_space space, int rational, int comma, __isl_give isl_space (read_el)(__isl_keep isl_stream s, struct vars v, __isl_take isl_space space, int rational, void user), void user)
static __isl_give isl_space *	read_tuple_space (__isl_keep isl_stream s, struct vars v, __isl_take isl_space space, int rational, int comma, __isl_give isl_space (read_el)(__isl_keep isl_stream s, struct vars v, __isl_take isl_space space, int rational, void user), void user)
static __isl_give isl_pw_aff *	identity_tuple_el (struct vars *v)
static __isl_give isl_space *	read_tuple_pw_aff_el (__isl_keep isl_stream s, struct vars v, __isl_take isl_space space, int rational, void user)
static __isl_give isl_multi_pw_aff *	read_tuple (__isl_keep isl_stream s, struct vars v, int rational, int comma)
static __isl_give isl_map *	map_from_tuple (__isl_take isl_multi_pw_aff tuple, __isl_take isl_map map, enum isl_dim_type type, struct vars *v, int rational)
static __isl_give isl_map *	read_map_tuple (__isl_keep isl_stream s, __isl_take isl_map map, enum isl_dim_type type, struct vars *v, int rational, int comma)
static __isl_give isl_set *	read_universe_params (__isl_keep isl_stream s, struct vars v)
static __isl_give isl_space *	read_params (__isl_keep isl_stream s, struct vars v)
static __isl_give isl_space *	read_tuple_id (__isl_keep isl_stream s, struct vars v, __isl_take isl_space space, int rational, void user)
static __isl_give isl_space *	read_space_tuples (__isl_keep isl_stream s, struct vars v, __isl_take isl_space *params)
__isl_give isl_space *	isl_stream_read_space (__isl_keep isl_stream *s)
static __isl_give isl_set *	list_cmp (__isl_keep isl_set set, int type, __isl_take isl_pw_aff_list left, __isl_take isl_pw_aff_list *right)
static __isl_give isl_set *	construct_constraints (__isl_take isl_set set, int type, __isl_keep isl_pw_aff_list left, __isl_keep isl_pw_aff_list *right, int rational)
static __isl_give isl_map *	add_constraint (__isl_keep isl_stream s, struct vars v, __isl_take isl_map *map, int rational)
static __isl_give isl_map *	read_exists (__isl_keep isl_stream s, struct vars v, __isl_take isl_map *map, int rational)
static __isl_give isl_map *	read_conjunct (__isl_keep isl_stream s, struct vars v, __isl_take isl_map *map, int rational)
static __isl_give isl_map *	read_conjuncts (__isl_keep isl_stream s, struct vars v, __isl_take isl_map *map, int rational)
static __isl_give isl_map *	read_disjuncts (__isl_keep isl_stream s, struct vars v, __isl_take isl_map *map, int rational)
static isl_size	polylib_pos_to_isl_pos (__isl_keep isl_basic_map *bmap, int pos)
static __isl_give isl_basic_map *	basic_map_read_polylib_constraint (__isl_keep isl_stream s, __isl_take isl_basic_map bmap)
static __isl_give isl_basic_map *	basic_map_read_polylib (__isl_keep isl_stream *s)
static __isl_give isl_map *	map_read_polylib (__isl_keep isl_stream *s)
static int	optional_power (__isl_keep isl_stream *s)
static __isl_give isl_pw_qpolynomial *	read_term (__isl_keep isl_stream s, __isl_keep isl_map map, struct vars *v)
static __isl_give isl_pw_qpolynomial *	read_factor (__isl_keep isl_stream s, __isl_keep isl_map map, struct vars *v)
static __isl_give isl_map *	read_optional_formula (__isl_keep isl_stream s, __isl_take isl_map map, struct vars *v, int rational)
static struct isl_obj	obj_read_poly (__isl_keep isl_stream s, __isl_take isl_map map, struct vars *v, int n)
static struct isl_obj	obj_read_poly_or_fold (__isl_keep isl_stream s, __isl_take isl_set set, struct vars *v, int n)
static int	is_rational (__isl_keep isl_stream *s)
static struct isl_obj	obj_read_body (__isl_keep isl_stream s, __isl_take isl_map map, struct vars *v)
static struct isl_obj	to_union (isl_ctx *ctx, struct isl_obj obj)
static struct isl_obj	obj_add (__isl_keep isl_stream *s, struct isl_obj obj1, struct isl_obj obj2)
static int	next_is_domain_colon (__isl_keep isl_stream *s)
static int	next_is_schedule (__isl_keep isl_stream *s)
static struct isl_obj	schedule_read (__isl_keep isl_stream *s)
static struct isl_obj	obj_read_disjuncts (__isl_keep isl_stream s, struct vars v, __isl_keep isl_map *map)
static struct isl_obj	obj_read (__isl_keep isl_stream *s)
struct isl_obj	isl_stream_read_obj (__isl_keep isl_stream *s)
__isl_give isl_map *	isl_stream_read_map (__isl_keep isl_stream *s)
__isl_give isl_set *	isl_stream_read_set (__isl_keep isl_stream *s)
__isl_give isl_union_map *	isl_stream_read_union_map (__isl_keep isl_stream *s)
static __isl_give isl_union_set *	extract_union_set (isl_ctx *ctx, struct isl_obj obj)
__isl_give isl_union_set *	isl_stream_read_union_set (__isl_keep isl_stream *s)
static __isl_give isl_basic_map *	isl_stream_read_basic_map (__isl_keep isl_stream *s)
__isl_give isl_basic_set *	isl_stream_read_basic_set (__isl_keep isl_stream *s)
__isl_give isl_basic_map *	isl_basic_map_read_from_file (isl_ctx ctx, FILE input)
__isl_give isl_basic_set *	isl_basic_set_read_from_file (isl_ctx ctx, FILE input)
__isl_give isl_map *	isl_map_read_from_file (struct isl_ctx ctx, FILE input)
__isl_give isl_set *	isl_set_read_from_file (struct isl_ctx ctx, FILE input)
__isl_give isl_union_map *	isl_union_map_read_from_file (isl_ctx ctx, FILE input)
__isl_give isl_union_set *	isl_union_set_read_from_file (isl_ctx ctx, FILE input)
static __isl_give isl_vec *	isl_vec_read_polylib (__isl_keep isl_stream *s)
static __isl_give isl_vec *	vec_read (__isl_keep isl_stream *s)
__isl_give isl_vec *	isl_vec_read_from_file (isl_ctx ctx, FILE input)
__isl_give isl_pw_qpolynomial *	isl_stream_read_pw_qpolynomial (__isl_keep isl_stream *s)
__isl_give isl_pw_qpolynomial *	isl_pw_qpolynomial_read_from_file (isl_ctx ctx, FILE input)
__isl_give isl_pw_qpolynomial_fold *	isl_stream_read_pw_qpolynomial_fold (__isl_keep isl_stream *s)
static int	next_is_fresh_ident (__isl_keep isl_stream s, struct vars v)
static __isl_give isl_set *	read_aff_domain (__isl_keep isl_stream s, __isl_take isl_set dom, struct vars *v)
__isl_give isl_aff *	isl_stream_read_aff (__isl_keep isl_stream *s)
static __isl_give isl_pw_aff *	read_pw_aff_with_dom (__isl_keep isl_stream s, __isl_take isl_set dom, struct vars *v)
static __isl_give isl_pw_aff *	read_conditional_aff (__isl_keep isl_stream s, __isl_take isl_set dom, struct vars *v)
static __isl_give isl_pw_aff *	separate_tuple_entry (__isl_take isl_pw_aff pa, int pos, unsigned first, unsigned n, __isl_take isl_space domain_space)
static __isl_give isl_multi_pw_aff *	isl_multi_pw_aff_set_tuple_entry (__isl_take isl_multi_pw_aff mpa, __isl_take isl_pw_aff tuple_el, int pos, unsigned first, unsigned n)
static __isl_give isl_multi_pw_aff *	read_conditional_multi_pw_aff (__isl_keep isl_stream s, __isl_take isl_set dom, struct vars *v)
static __isl_give isl_pw_multi_aff *	read_conditional_multi_aff (__isl_keep isl_stream s, __isl_take isl_set dom, struct vars *v)
static __isl_give isl_union_pw_multi_aff *	isl_stream_read_with_params_union_pw_multi_aff (__isl_keep isl_stream s, __isl_keep isl_set dom, struct vars *v)
static __isl_give isl_multi_aff *	isl_multi_aff_set_tuple_entry (__isl_take isl_multi_aff ma, __isl_take isl_pw_aff tuple_el, int pos, unsigned first, unsigned n)
__isl_give isl_multi_aff *	isl_stream_read_multi_aff (__isl_keep isl_stream *s)
static __isl_give isl_multi_pw_aff *	isl_stream_read_with_params_multi_pw_aff (__isl_keep isl_stream s, __isl_keep isl_set dom, struct vars *v)
static __isl_give isl_union_pw_aff *	read_union_pw_aff_with_dom (__isl_keep isl_stream s, __isl_take isl_set dom, struct vars *v)
static __isl_give isl_union_pw_aff *	isl_stream_read_with_params_union_pw_aff (__isl_keep isl_stream s, __isl_keep isl_set dom, struct vars *v)
static __isl_give isl_space *	read_union_pw_aff_el (__isl_keep isl_stream s, struct vars v, __isl_take isl_space space, int rational, void user)
static int	next_is_empty_tuple (__isl_keep isl_stream *s)
static int	next_is_param_tuple (__isl_keep isl_stream *s)
static __isl_give isl_multi_union_pw_aff *	read_multi_union_pw_aff_body_core (__isl_keep isl_stream s, struct vars v, __isl_take isl_space *space)
static __isl_give isl_union_set *	read_union_set_body (__isl_keep isl_stream s, struct vars v, __isl_take isl_space *space)
static __isl_give isl_multi_union_pw_aff *	read_multi_union_pw_aff_body (__isl_keep isl_stream s, struct vars v, __isl_take isl_space *space)
static __isl_give isl_multi_union_pw_aff *	read_multi_union_pw_aff_core (__isl_keep isl_stream *s)
__isl_give isl_multi_union_pw_aff *	isl_stream_read_multi_union_pw_aff (__isl_keep isl_stream *s)
__isl_give isl_union_pw_qpolynomial *	isl_stream_read_union_pw_qpolynomial (__isl_keep isl_stream *s)

Macro Definition Documentation

◆ BASE [1/6]

#define BASE aff

Definition at line 3622 of file isl_input.c.

◆ BASE [2/6]

#define BASE pw_aff

Definition at line 3622 of file isl_input.c.

◆ BASE [3/6]

#define BASE multi_aff

Definition at line 3622 of file isl_input.c.

◆ BASE [4/6]

#define BASE val

Definition at line 3622 of file isl_input.c.

◆ BASE [5/6]

#define BASE id

Definition at line 3622 of file isl_input.c.

◆ BASE [6/6]

#define BASE aff

Definition at line 3622 of file isl_input.c.

◆ TYPE_BASE [1/19]

#define TYPE_BASE val

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [2/19]

#define TYPE_BASE space

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [3/19]

#define TYPE_BASE basic_map

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [4/19]

#define TYPE_BASE basic_set

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [5/19]

#define TYPE_BASE map

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [6/19]

#define TYPE_BASE set

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [7/19]

#define TYPE_BASE union_map

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [8/19]

#define TYPE_BASE union_set

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [9/19]

#define TYPE_BASE pw_qpolynomial

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [10/19]

#define TYPE_BASE pw_qpolynomial_fold

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [11/19]

#define TYPE_BASE aff

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [12/19]

#define TYPE_BASE pw_aff

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [13/19]

#define TYPE_BASE pw_multi_aff

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [14/19]

#define TYPE_BASE union_pw_multi_aff

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [15/19]

#define TYPE_BASE multi_aff

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [16/19]

#define TYPE_BASE multi_pw_aff

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [17/19]

#define TYPE_BASE union_pw_aff

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [18/19]

#define TYPE_BASE multi_union_pw_aff

Definition at line 250 of file isl_input.c.

◆ TYPE_BASE [19/19]

#define TYPE_BASE union_pw_qpolynomial

Definition at line 250 of file isl_input.c.

Function Documentation

◆ accept_affine()

__isl_give isl_pw_aff * accept_affine	(	__isl_keep isl_stream *	s,
		__isl_take isl_space *	space,
		struct vars *	v )

static

◆ accept_affine_factor()

__isl_give isl_pw_aff * accept_affine_factor	(	__isl_keep isl_stream *	s,
		__isl_take isl_space *	space,
		struct vars *	v )

static

Definition at line 493 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, accept_affine(), accept_affine_factor(), accept_cst_factor(), accept_div(), accept_minmax(), aff, affine_mod(), f, is_start_of_div(), isl_aff_add_constant(), isl_aff_free(), isl_aff_zero_on_domain(), isl_int_clear, isl_int_init, isl_int_neg, isl_int_set_si, isl_local_space_from_space(), isl_pw_aff_copy(), isl_pw_aff_floor(), isl_pw_aff_free(), isl_pw_aff_from_aff(), isl_pw_aff_scale(), isl_space_copy(), isl_space_free(), isl_stream_eat(), isl_stream_eat_if_available(), isl_stream_error(), isl_stream_next_token_is(), isl_stream_push_token(), ISL_TOKEN_AFF, isl_token_free(), ISL_TOKEN_IDENT, ISL_TOKEN_INT_DIV, ISL_TOKEN_MAX, ISL_TOKEN_MIN, ISL_TOKEN_MOD, ISL_TOKEN_VALUE, isl_vec_set_element_si(), n, next_token(), pos(), pw_aff_div_by_cst(), isl_token::pwaff, res, isl_token::s, isl_token::type, isl_token::u, isl_token::v, vars_drop(), and vars_pos().

Referenced by accept_affine(), and accept_affine_factor().

◆ accept_affine_list()

__isl_give isl_pw_aff_list * accept_affine_list	(	__isl_keep isl_stream *	s,
		__isl_take isl_space *	space,
		struct vars *	v )

static

Definition at line 885 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, accept_affine(), isl_space_copy(), isl_space_free(), isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), isl_token::pwaff, isl_token::s, isl_token::type, and isl_token::v.

Referenced by accept_minmax(), and add_constraint().

◆ accept_cst_factor()

isl_stat accept_cst_factor	(	__isl_keep isl_stream *	s,
		isl_int *	f )

static

Definition at line 253 of file isl_input.c.

References __isl_keep, accept_cst_factor(), f, isl_int_mul, isl_int_neg, isl_stat_error, isl_stat_ok, isl_stream_eat_if_available(), isl_stream_error(), isl_token_free(), ISL_TOKEN_VALUE, next_token(), isl_token::s, isl_token::type, isl_token::u, and isl_token::v.

Referenced by accept_affine_factor(), and accept_cst_factor().

◆ accept_div()

__isl_give isl_pw_aff * accept_div	(	__isl_keep isl_stream *	s,
		__isl_take isl_space *	space,
		struct vars *	v )

static

Definition at line 439 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, accept_affine(), f, isl_pw_aff_ceil(), isl_pw_aff_floor(), isl_pw_aff_free(), isl_space_copy(), isl_space_free(), isl_stream_eat(), isl_stream_eat_if_available(), ISL_TOKEN_CEIL, ISL_TOKEN_CEILD, ISL_TOKEN_FLOOR, ISL_TOKEN_FLOORD, pw_aff_div_by_cst(), isl_token::pwaff, isl_token::s, and isl_token::v.

Referenced by accept_affine_factor(), and read_factor().

◆ accept_extended_affine()

__isl_give isl_pw_aff * accept_extended_affine	(	__isl_keep isl_stream *	s,
		__isl_take isl_space *	space,
		struct vars *	v,
		int	rational )

static

Definition at line 820 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, accept_affine(), accept_ternary(), isl_token::col, isl_map_free(), isl_map_universe(), isl_pw_aff_get_domain_space(), isl_pw_aff_set_rational(), isl_space_unwrap(), isl_token::line, next_is_comparator(), push_aff(), isl_token::pwaff, read_formula(), isl_token::s, set_current_line_col(), and isl_token::v.

Referenced by accept_piecewise_affine(), accept_ternary(), and read_var_def().

◆ accept_minmax()

__isl_give isl_pw_aff * accept_minmax	(	__isl_keep isl_stream *	s,
		__isl_take isl_space *	space,
		struct vars *	v )

static

Definition at line 317 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, accept_affine_list(), isl_pw_aff_list_max(), isl_pw_aff_list_min(), isl_space_copy(), isl_space_free(), isl_stream_eat(), isl_stream_next_token(), isl_token_free(), ISL_TOKEN_MIN, isl_token::s, isl_token::type, and isl_token::v.

Referenced by accept_affine_factor().

◆ accept_piecewise_affine()

__isl_give isl_pw_aff * accept_piecewise_affine	(	__isl_keep isl_stream *	s,
		__isl_take isl_space *	space,
		struct vars *	v,
		int	rational )

static

◆ accept_ternary()

__isl_give isl_pw_aff * accept_ternary	(	__isl_keep isl_stream *	s,
		__isl_take isl_map *	cond,
		struct vars *	v,
		int	rational )

static

Definition at line 727 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, accept_extended_affine(), isl_map_free(), isl_map_get_space(), isl_map_wrap(), isl_pw_aff_cond(), isl_pw_aff_free(), isl_pw_aff_get_domain_space(), isl_set_indicator_function(), isl_space_wrap(), isl_stream_eat(), isl_token::s, and isl_token::v.

Referenced by accept_extended_affine().

◆ add_constraint()

__isl_give isl_map * add_constraint	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_map *	map,
		int	rational )

static

Definition at line 1988 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, accept_affine_list(), construct_constraints(), is_comparator(), is_list_comparator_type(), isl_map_wrap(), isl_set, isl_set_free(), isl_set_get_space(), isl_set_unwrap(), isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), map, next_is_comparator(), isl_token::s, set, isl_token::type, type, and isl_token::v.

Referenced by read_conjunct().

◆ affine_mod()

__isl_give isl_pw_aff * affine_mod	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_pw_aff *	aff )

static

Definition at line 285 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, aff, isl_pw_aff_copy(), isl_pw_aff_floor(), isl_pw_aff_free(), isl_pw_aff_scale(), isl_pw_aff_scale_down(), isl_pw_aff_sub(), isl_stream_error(), isl_token_free(), ISL_TOKEN_VALUE, next_token(), isl_token::s, isl_token::type, isl_token::u, and isl_token::v.

Referenced by accept_affine_factor().

◆ basic_map_read_polylib()

__isl_give isl_basic_map * basic_map_read_polylib ( __isl_keep isl_stream * s )

static

◆ basic_map_read_polylib_constraint()

__isl_give isl_basic_map * basic_map_read_polylib_constraint	(	__isl_keep isl_stream *	s,
		__isl_take isl_basic_map *	bmap )

static

Definition at line 2296 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_assert, isl_basic_map_alloc_equality(), isl_basic_map_alloc_inequality(), isl_basic_map_dim(), isl_basic_map_free(), isl_dim_all, isl_int_get_si, isl_int_set, isl_stream_error(), isl_stream_next_token(), isl_token_free(), ISL_TOKEN_VALUE, next_signed_value_on_same_line(), isl_token::on_new_line, polylib_pos_to_isl_pos(), pos(), isl_token::s, total(), isl_token::type, type, isl_token::u, and isl_token::v.

Referenced by basic_map_read_polylib().

◆ construct_constraints()

__isl_give isl_set * construct_constraints	(	__isl_take isl_set *	set,
		int	type,
		__isl_keep isl_pw_aff_list *	left,
		__isl_keep isl_pw_aff_list *	right,
		int	rational )

static

Definition at line 1938 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, is_list_comparator_type(), isl_pw_aff_list_eq_set(), isl_pw_aff_list_ge_set(), isl_pw_aff_list_gt_set(), isl_pw_aff_list_le_set(), isl_pw_aff_list_lt_set(), isl_pw_aff_list_ne_set(), isl_pw_aff_list_set_rational(), isl_set, isl_set_intersect(), ISL_TOKEN_GE, ISL_TOKEN_GT, ISL_TOKEN_LE, ISL_TOKEN_LT, ISL_TOKEN_NE, list_cmp(), set, and type.

Referenced by add_constraint().

◆ construct_lower()

__isl_give isl_pw_aff * construct_lower	(	__isl_take isl_pw_aff *	pa,
		struct vars *	v )

static

Definition at line 1180 of file isl_input.c.

References __isl_give, __isl_take, init_range(), pa, set_lower(), and isl_token::v.

Referenced by update_piecewise_affine_colon().

◆ construct_range()

__isl_give isl_pw_aff * construct_range	(	__isl_take isl_pw_aff *	pa,
		__isl_take isl_pw_aff *	pa2,
		struct vars *	v )

static

Definition at line 1216 of file isl_input.c.

References __isl_give, __isl_take, init_range(), pa, set_lower(), set_upper(), and isl_token::v.

Referenced by update_piecewise_affine_colon().

◆ construct_upper()

__isl_give isl_pw_aff * construct_upper	(	__isl_take isl_pw_aff *	pa,
		struct vars *	v )

static

Definition at line 1198 of file isl_input.c.

References __isl_give, __isl_take, init_range(), pa, set_upper(), and isl_token::v.

Referenced by accept_piecewise_affine().

◆ extract_union_set()

__isl_give isl_union_set * extract_union_set	(	isl_ctx *	ctx,
		struct isl_obj	obj )

static

Definition at line 3206 of file isl_input.c.

References __isl_give, isl_assert, isl_obj_set, isl_obj_union_set, isl_union_set, isl_union_set_from_set(), and obj.

Referenced by isl_stream_read_union_set(), and read_union_set_body().

◆ identity_tuple_el()

__isl_give isl_pw_aff * identity_tuple_el ( struct vars * v )

static

Definition at line 1500 of file isl_input.c.

References __isl_give, identity_tuple_el_on_space(), isl_space_set_alloc(), and isl_token::v.

Referenced by read_tuple_pw_aff_el().

◆ identity_tuple_el_on_space()

__isl_give isl_pw_aff * identity_tuple_el_on_space	(	__isl_take isl_space *	space,
		struct vars *	v )

static

Definition at line 1100 of file isl_input.c.

References __isl_give, __isl_take, aff, isl_aff_add_coefficient_si(), isl_aff_zero_on_domain(), isl_dim_in, isl_local_space_from_space(), isl_pw_aff_from_aff(), and isl_token::v.

Referenced by accept_piecewise_affine(), identity_tuple_el(), and init_range().

◆ init_range()

__isl_give isl_pw_aff * init_range	(	__isl_keep isl_pw_aff *	pa,
		struct vars *	v )

static

Definition at line 1117 of file isl_input.c.

References __isl_give, __isl_keep, identity_tuple_el_on_space(), isl_pw_aff_get_domain_space(), pa, and isl_token::v.

Referenced by construct_lower(), construct_range(), and construct_upper().

◆ is_comparator()

int is_comparator ( struct isl_token * tok )

static

Definition at line 700 of file isl_input.c.

References is_list_comparator_type(), ISL_TOKEN_GE, ISL_TOKEN_GT, ISL_TOKEN_LE, ISL_TOKEN_LT, ISL_TOKEN_NE, and isl_token::type.

Referenced by add_constraint(), and next_is_comparator().

◆ is_list_comparator_type()

int is_list_comparator_type ( int type )

static

Definition at line 687 of file isl_input.c.

References ISL_TOKEN_LEX_GE, ISL_TOKEN_LEX_GT, ISL_TOKEN_LEX_LE, ISL_TOKEN_LEX_LT, and type.

Referenced by add_constraint(), construct_constraints(), and is_comparator().

◆ is_rational()

int is_rational ( __isl_keep isl_stream * s )

static

Definition at line 2770 of file isl_input.c.

References __isl_keep, isl_stream_eat(), isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_RAT, isl_token::s, and isl_token::type.

Referenced by extends(), and obj_read_body().

◆ is_start_of_div()

int is_start_of_div ( struct isl_token * tok )

static

Definition at line 412 of file isl_input.c.

References ISL_TOKEN_CEIL, ISL_TOKEN_CEILD, ISL_TOKEN_FLOOR, ISL_TOKEN_FLOORD, and isl_token::type.

Referenced by accept_affine(), accept_affine_factor(), and read_factor().

◆ isl_basic_map_read_from_file()

__isl_give isl_basic_map * isl_basic_map_read_from_file	(	isl_ctx *	ctx,
		FILE *	input )

Definition at line 3284 of file isl_input.c.

References __isl_give, isl_basic_map::ctx, isl_stream_free(), isl_stream_new_file(), and isl_stream_read_basic_map().

Referenced by test_application_case().

◆ isl_basic_set_read_from_file()

__isl_give isl_basic_set * isl_basic_set_read_from_file	(	isl_ctx *	ctx,
		FILE *	input )

Definition at line 3296 of file isl_input.c.

References __isl_give, isl_basic_map::ctx, isl_basic_set, isl_stream_free(), isl_stream_new_file(), and isl_stream_read_basic_set().

Referenced by main(), test_affine_hull_case(), test_application_case(), test_convex_hull_case(), and test_read().

◆ isl_map_read_from_file()

__isl_give isl_map * isl_map_read_from_file	(	struct isl_ctx *	ctx,
		FILE *	input )

Definition at line 3316 of file isl_input.c.

References __isl_give, isl_map::ctx, isl_stream_free(), isl_stream_new_file(), isl_stream_read_map(), and map.

Referenced by main().

◆ isl_multi_aff_set_tuple_entry()

__isl_give isl_multi_aff * isl_multi_aff_set_tuple_entry	(	__isl_take isl_multi_aff *	ma,
		__isl_take isl_pw_aff *	tuple_el,
		int	pos,
		unsigned	first,
		unsigned	n )

static

Definition at line 3830 of file isl_input.c.

References __isl_give, __isl_take, aff, isl_pw_aff_as_aff(), ma, n, pa, pos(), and separate_tuple_entry().

◆ isl_multi_pw_aff_set_tuple_entry()

__isl_give isl_multi_pw_aff * isl_multi_pw_aff_set_tuple_entry	(	__isl_take isl_multi_pw_aff *	mpa,
		__isl_take isl_pw_aff *	tuple_el,
		int	pos,
		unsigned	first,
		unsigned	n )

static

Definition at line 3675 of file isl_input.c.

References __isl_give, __isl_take, n, pa, pos(), and separate_tuple_entry().

◆ isl_pw_qpolynomial_read_from_file()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_read_from_file	(	isl_ctx *	ctx,
		FILE *	input )

Definition at line 3449 of file isl_input.c.

References __isl_give, isl_stream_free(), isl_stream_new_file(), isl_stream_read_pw_qpolynomial(), and pwqp.

◆ isl_set_read_from_file()

__isl_give isl_set * isl_set_read_from_file	(	struct isl_ctx *	ctx,
		FILE *	input )

Definition at line 3332 of file isl_input.c.

References __isl_give, isl_map::ctx, isl_set, isl_stream_free(), isl_stream_new_file(), isl_stream_read_set(), and set.

◆ isl_stream_read_aff()

__isl_give isl_aff * isl_stream_read_aff ( __isl_keep isl_stream * s )

Definition at line 3550 of file isl_input.c.

References __isl_give, __isl_keep, aff, isl_die, isl_dim_out, isl_error_invalid, isl_stream_read_multi_aff(), ma, and isl_token::s.

◆ isl_stream_read_basic_map()

__isl_give isl_basic_map * isl_stream_read_basic_map ( __isl_keep isl_stream * s )

static

Definition at line 3234 of file isl_input.c.

References __isl_give, __isl_keep, isl_basic_map_copy(), isl_basic_map_empty(), isl_die, isl_error_invalid, isl_map_free(), isl_map_get_space(), isl_obj_map, isl_obj_set, map, obj, and obj_read().

Referenced by isl_basic_map_read_from_file(), and isl_stream_read_basic_set().

◆ isl_stream_read_basic_set()

__isl_give isl_basic_set * isl_stream_read_basic_set ( __isl_keep isl_stream * s )

Definition at line 3269 of file isl_input.c.

References __isl_give, __isl_keep, isl_basic_map_free(), isl_basic_map_may_be_set(), isl_basic_map_range(), isl_basic_set, isl_die, isl_error_invalid, and isl_stream_read_basic_map().

Referenced by isl_basic_set_read_from_file(), and isl_stream_read_ast_graft().

◆ isl_stream_read_map()

__isl_give isl_map * isl_stream_read_map ( __isl_keep isl_stream * s )

Definition at line 3140 of file isl_input.c.

References __isl_give, __isl_keep, isl_assert, isl_map_from_range(), isl_obj_map, isl_obj_set, obj, and obj_read().

Referenced by isl_map_read_from_file().

◆ isl_stream_read_multi_aff()

__isl_give isl_multi_aff * isl_stream_read_multi_aff ( __isl_keep isl_stream * s )

Definition at line 3855 of file isl_input.c.

References __isl_give, __isl_keep, isl_die, isl_error_invalid, isl_space_align_params(), isl_space_free(), isl_space_range(), isl_stream_eat(), isl_stream_eat_if_available(), ISL_TOKEN_TO, ma, read_params(), read_tuple(), tuple, tuple_has_expr(), vars::v, vars_free(), and vars_new().

Referenced by isl_stream_read_aff().

◆ isl_stream_read_multi_union_pw_aff()

__isl_give isl_multi_union_pw_aff * isl_stream_read_multi_union_pw_aff ( __isl_keep isl_stream * s )

Definition at line 4237 of file isl_input.c.

References __isl_give, __isl_keep, isl_multi_union_pw_aff_intersect_domain(), isl_stream_eat(), isl_stream_eat_if_available(), isl_stream_next_token_is(), isl_stream_read_union_set(), isl_union_set, mupa, and read_multi_union_pw_aff_core().

◆ isl_stream_read_obj()

struct isl_obj isl_stream_read_obj ( __isl_keep isl_stream * s )

Definition at line 3135 of file isl_input.c.

References __isl_keep, isl_stream_read_obj(), and obj_read().

Referenced by ISL_ARG_CHOICE(), isl_stream_read_obj(), and main().

◆ isl_stream_read_pw_qpolynomial()

__isl_give isl_pw_qpolynomial * isl_stream_read_pw_qpolynomial ( __isl_keep isl_stream * s )

Definition at line 3429 of file isl_input.c.

References __isl_give, __isl_keep, isl_assert, isl_obj_pw_qpolynomial, obj, and obj_read().

Referenced by isl_pw_qpolynomial_read_from_file().

◆ isl_stream_read_pw_qpolynomial_fold()

__isl_give isl_pw_qpolynomial_fold * isl_stream_read_pw_qpolynomial_fold ( __isl_keep isl_stream * s )

Definition at line 3465 of file isl_input.c.

References __isl_give, __isl_keep, isl_die, isl_error_invalid, isl_obj_pw_qpolynomial_fold, obj, and obj_read().

◆ isl_stream_read_set()

__isl_give isl_set * isl_stream_read_set ( __isl_keep isl_stream * s )

Definition at line 3158 of file isl_input.c.

References __isl_give, __isl_keep, isl_assert, isl_map_may_be_set(), isl_map_range(), isl_obj_map, isl_obj_set, isl_set, obj, and obj_read().

Referenced by construct_ast_from_union_map(), isl_set_read_from_file(), and isl_stream_read_ast_graft().

◆ isl_stream_read_space()

__isl_give isl_space * isl_stream_read_space ( __isl_keep isl_stream * s )

Definition at line 1832 of file isl_input.c.

References __isl_give, __isl_keep, isl_space_free(), isl_stream_eat(), isl_stream_eat_if_available(), read_params(), read_space_tuples(), vars::v, vars_free(), and vars_new().

◆ isl_stream_read_union_map()

__isl_give isl_union_map * isl_stream_read_union_map ( __isl_keep isl_stream * s )

Definition at line 3177 of file isl_input.c.

References __isl_give, __isl_keep, isl_die, isl_error_invalid, isl_obj_map, isl_obj_set, isl_obj_union_map, isl_obj_union_set, isl_union_map_from_map(), isl_union_set_from_set(), isl_union_set_is_empty(), obj, and obj_read().

Referenced by construct_ast_from_union_map(), and isl_union_map_read_from_file().

◆ isl_stream_read_union_pw_qpolynomial()

__isl_give isl_union_pw_qpolynomial * isl_stream_read_union_pw_qpolynomial ( __isl_keep isl_stream * s )

Definition at line 4263 of file isl_input.c.

References __isl_give, __isl_keep, isl_assert, isl_obj_pw_qpolynomial, isl_obj_union_pw_qpolynomial, isl_union_pw_qpolynomial_from_pw_qpolynomial(), obj, and obj_read().

◆ isl_stream_read_union_set()

__isl_give isl_union_set * isl_stream_read_union_set ( __isl_keep isl_stream * s )

Definition at line 3226 of file isl_input.c.

References __isl_give, __isl_keep, extract_union_set(), isl_union_set, obj, and obj_read().

Referenced by isl_stream_read_multi_union_pw_aff(), and isl_union_set_read_from_file().

◆ isl_stream_read_val()

__isl_give isl_val * isl_stream_read_val ( __isl_keep isl_stream * s )

Definition at line 191 of file isl_input.c.

References __isl_give, __isl_keep, isl_int_neg, isl_stream_eat_if_available(), isl_stream_error(), isl_token_free(), ISL_TOKEN_INFTY, ISL_TOKEN_NAN, ISL_TOKEN_VALUE, isl_val_infty(), isl_val_int_from_isl_int(), isl_val_nan(), isl_val_neginfty(), isl_val_normalize(), isl_val_rat_from_isl_int(), next_token(), isl_token::s, isl_token::type, isl_token::u, isl_token::v, and val.

Referenced by read_band(), and read_int().

◆ isl_stream_read_with_params_multi_pw_aff()

__isl_give isl_multi_pw_aff * isl_stream_read_with_params_multi_pw_aff	(	__isl_keep isl_stream *	s,
		__isl_keep isl_set *	dom,
		struct vars *	v )

static

Definition at line 3915 of file isl_input.c.

References __isl_give, __isl_keep, isl_set, isl_set_copy(), read_conditional_multi_pw_aff(), and vars::v.

◆ isl_stream_read_with_params_union_pw_aff()

__isl_give isl_union_pw_aff * isl_stream_read_with_params_union_pw_aff	(	__isl_keep isl_stream *	s,
		__isl_keep isl_set *	dom,
		struct vars *	v )

static

Definition at line 3963 of file isl_input.c.

References __isl_give, __isl_keep, isl_set, isl_set_copy(), read_union_pw_aff_with_dom(), and vars::v.

◆ isl_stream_read_with_params_union_pw_multi_aff()

__isl_give isl_union_pw_multi_aff * isl_stream_read_with_params_union_pw_multi_aff	(	__isl_keep isl_stream *	s,
		__isl_keep isl_set *	dom,
		struct vars *	v )

static

Definition at line 3775 of file isl_input.c.

References __isl_keep, isl_set, isl_set_copy(), isl_set_get_space(), isl_stream_eat_if_available(), isl_stream_next_token_is(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_from_pw_multi_aff(), isl_union_pw_multi_aff_union_add(), pma, read_conditional_multi_aff(), isl_token::s, and isl_token::v.

◆ isl_union_map_read_from_file()

__isl_give isl_union_map * isl_union_map_read_from_file	(	isl_ctx *	ctx,
		FILE *	input )

Definition at line 3348 of file isl_input.c.

References __isl_give, isl_map::ctx, isl_stream_free(), isl_stream_new_file(), and isl_stream_read_union_map().

◆ isl_union_set_read_from_file()

__isl_give isl_union_set * isl_union_set_read_from_file	(	isl_ctx *	ctx,
		FILE *	input )

Definition at line 3364 of file isl_input.c.

References __isl_give, isl_map::ctx, isl_stream_free(), isl_stream_new_file(), isl_stream_read_union_set(), and isl_union_set.

◆ isl_vec_read_from_file()

__isl_give isl_vec * isl_vec_read_from_file	(	isl_ctx *	ctx,
		FILE *	input )

Definition at line 3418 of file isl_input.c.

References __isl_give, isl_stream_free(), isl_stream_new_file(), isl_token::s, isl_token::v, and vec_read().

Referenced by main().

◆ isl_vec_read_polylib()

__isl_give isl_vec * isl_vec_read_polylib ( __isl_keep isl_stream * s )

static

Definition at line 3380 of file isl_input.c.

References __isl_give, __isl_keep, isl_vec::el, isl_int_get_si, isl_int_set, isl_stream_error(), isl_stream_next_token(), isl_token_free(), ISL_TOKEN_VALUE, isl_vec_alloc(), isl_vec_free(), next_signed_value(), isl_token::s, size, isl_token::type, isl_token::u, and isl_token::v.

Referenced by vec_read().

◆ list_cmp()

__isl_give isl_set * list_cmp	(	__isl_keep isl_set *	set,
		int	type,
		__isl_take isl_pw_aff_list *	left,
		__isl_take isl_pw_aff_list *	right )

static

Definition at line 1878 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_die, isl_dim_out, isl_error_internal, isl_map_lex_ge(), isl_map_lex_gt(), isl_map_lex_le(), isl_map_lex_lt(), isl_map_wrap(), isl_set, isl_set_get_ctx(), isl_set_get_space(), isl_set_preimage_multi_pw_aff(), isl_space_add_dims(), isl_space_copy(), isl_space_free(), isl_space_from_domain(), isl_space_range(), ISL_TOKEN_LEX_GE, ISL_TOKEN_LEX_GT, ISL_TOKEN_LEX_LE, ISL_TOKEN_LEX_LT, n, set, and type.

Referenced by construct_constraints().

◆ map_from_tuple()

__isl_give isl_map * map_from_tuple	(	__isl_take isl_multi_pw_aff *	tuple,
		__isl_take isl_map *	map,
		enum isl_dim_type	type,
		struct vars *	v,
		int	rational )

static

Definition at line 1619 of file isl_input.c.

References __isl_give, __isl_take, aff, id, isl_aff_add_coefficient_si(), isl_aff_zero_on_domain(), isl_die, isl_dim_in, isl_dim_out, isl_dim_param, isl_dim_set, isl_error_invalid, isl_local_space_from_space(), isl_map_add_dims(), isl_map_domain(), isl_map_free(), isl_map_from_domain(), isl_map_from_domain_and_range(), isl_map_from_range(), isl_map_get_space(), isl_map_intersect(), isl_map_params(), isl_map_reset_space(), isl_map_set_dim_id(), isl_pw_aff_add(), isl_pw_aff_from_aff(), isl_pw_aff_get_domain_space(), isl_pw_aff_set_rational(), isl_pw_aff_zero_set(), isl_set, isl_set_intersect_params(), isl_set_set_rational(), isl_set_universe(), isl_space_copy(), isl_space_free(), isl_space_get_dim_id(), isl_space_has_dim_name(), isl_space_has_tuple_name(), isl_space_is_wrapping(), isl_space_range(), map, n, pa, set, tuple, type, and isl_token::v.

Referenced by read_conditional_multi_pw_aff(), and read_map_tuple().

◆ map_read_polylib()

__isl_give isl_map * map_read_polylib ( __isl_keep isl_stream * s )

static

Definition at line 2475 of file isl_input.c.

References __isl_give, __isl_keep, basic_map_read_polylib(), isl_assert, isl_int_get_si, isl_map_from_basic_map(), isl_map_union(), isl_stream_error(), isl_stream_next_token(), isl_stream_next_token_on_same_line(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_VALUE, map, n, isl_token::type, isl_token::u, and isl_token::v.

Referenced by obj_read().

◆ nan_on_domain()

__isl_give isl_pw_aff * nan_on_domain ( __isl_keep isl_space * space )

static

Definition at line 599 of file isl_input.c.

References __isl_give, __isl_keep, isl_pw_aff_nan_on_domain_space(), and isl_space_copy().

Referenced by accept_affine().

◆ next_is_comparator()

int next_is_comparator ( __isl_keep isl_stream * s )

static

Definition at line 799 of file isl_input.c.

References __isl_keep, is_comparator(), isl_stream_next_token(), isl_stream_push_token(), and isl_token::s.

Referenced by accept_extended_affine(), add_constraint(), and update_piecewise_affine_colon().

◆ next_is_condition_start()

int next_is_condition_start ( __isl_keep isl_stream * s )

static

Definition at line 1003 of file isl_input.c.

References __isl_keep, isl_stream_next_token_is(), ISL_TOKEN_EXISTS, ISL_TOKEN_FALSE, ISL_TOKEN_MAP, ISL_TOKEN_NOT, ISL_TOKEN_TRUE, and isl_token::s.

Referenced by resolve_paren_expr(), and update_piecewise_affine_colon().

◆ next_is_domain_colon()

int next_is_domain_colon ( __isl_keep isl_stream * s )

static

Definition at line 2929 of file isl_input.c.

References __isl_keep, isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), isl_token_get_str(), ISL_TOKEN_IDENT, ISL_TOKEN_STRING, name, res, isl_token::s, and isl_token::type.

Referenced by next_is_schedule().

◆ next_is_empty_tuple()

int next_is_empty_tuple ( __isl_keep isl_stream * s )

static

Definition at line 4006 of file isl_input.c.

References __isl_keep, isl_stream_next_token(), isl_stream_push_token(), ISL_TOKEN_TO, isl_token::s, and isl_token::type.

Referenced by read_multi_union_pw_aff_core().

◆ next_is_end_tuple_element()

int next_is_end_tuple_element ( __isl_keep isl_stream * s )

static

Definition at line 995 of file isl_input.c.

References __isl_keep, isl_stream_next_token_is(), and isl_token::s.

Referenced by accept_piecewise_affine(), and update_piecewise_affine_colon().

◆ next_is_fresh_ident()

int next_is_fresh_ident	(	__isl_keep isl_stream *	s,
		struct vars *	v )

static

Definition at line 3486 of file isl_input.c.

References __isl_keep, isl_stream_next_token(), isl_stream_push_token(), ISL_TOKEN_IDENT, n, isl_token::s, isl_token::type, isl_token::u, isl_obj::v, isl_token::v, vars_drop(), and vars_pos().

Referenced by read_aff_domain().

◆ next_is_param_tuple()

int next_is_param_tuple ( __isl_keep isl_stream * s )

static

Definition at line 4037 of file isl_input.c.

References __isl_keep, isl_stream_next_token(), isl_stream_push_token(), next_is_tuple(), isl_token::s, and isl_token::type.

Referenced by read_multi_union_pw_aff_core().

◆ next_is_schedule()

int next_is_schedule ( __isl_keep isl_stream * s )

static

Definition at line 2959 of file isl_input.c.

References __isl_keep, isl_stream_next_token(), isl_stream_push_token(), next_is_domain_colon(), isl_token::s, and isl_token::type.

Referenced by obj_read().

◆ next_is_tuple()

int next_is_tuple ( __isl_keep isl_stream * s )

static

Definition at line 969 of file isl_input.c.

References __isl_keep, isl_token::is_keyword, isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), ISL_TOKEN_IDENT, isl_token::s, and isl_token::type.

Referenced by FN(), MULTI(), next_is_param_tuple(), obj_read_body(), read_aff_domain(), read_tuple_space(), and read_universe_params().

◆ next_signed_value()

struct isl_token * next_signed_value	(	__isl_keep isl_stream *	s,
		char *	msg )

static

Definition at line 394 of file isl_input.c.

References __isl_keep, isl_stream_next_token(), next_signed_value_fn(), and isl_token::s.

Referenced by isl_vec_read_polylib().

◆ next_signed_value_fn()

struct isl_token * next_signed_value_fn	(	__isl_keep isl_stream *	s,
		struct isl_token (	next )(__isl_keep isl_stream *s),
		char *	msg )

static

Definition at line 372 of file isl_input.c.

References __isl_keep, isl_int_neg, isl_stream_eat_if_available(), isl_stream_error(), isl_token_free(), ISL_TOKEN_VALUE, isl_token::s, isl_token::type, isl_token::u, and isl_token::v.

Referenced by next_signed_value(), and next_signed_value_on_same_line().

◆ next_signed_value_on_same_line()

struct isl_token * next_signed_value_on_same_line	(	__isl_keep isl_stream *	s,
		char *	msg )

static

Definition at line 403 of file isl_input.c.

References __isl_keep, isl_stream_next_token_on_same_line(), next_signed_value_fn(), and isl_token::s.

Referenced by basic_map_read_polylib_constraint().

◆ next_token()

struct isl_token * next_token ( __isl_keep isl_stream * s )

static

Definition at line 152 of file isl_input.c.

References __isl_keep, isl_int_get_ui, isl_int_pow_ui, isl_stream_eat_if_available(), isl_stream_error(), isl_stream_next_token(), isl_token_free(), ISL_TOKEN_VALUE, isl_token::s, isl_token::type, isl_token::u, and isl_token::v.

Referenced by accept_affine(), accept_affine_factor(), accept_cst_factor(), affine_mod(), isl_stream_read_val(), obj_read(), pw_aff_div_by_cst(), read_factor(), read_term(), read_tuple_id(), and read_tuple_pw_aff_el().

◆ obj_add()

struct isl_obj obj_add	(	__isl_keep isl_stream *	s,
		struct isl_obj	obj1,
		struct isl_obj	obj2 )

static

Definition at line 2865 of file isl_input.c.

References __isl_keep, if(), isl_die, isl_error_internal, isl_map_has_equal_space(), isl_obj_map, isl_obj_none, isl_obj_pw_qpolynomial, isl_obj_pw_qpolynomial_fold, isl_obj_set, isl_obj_union_map, isl_obj_union_pw_qpolynomial, isl_obj_union_pw_qpolynomial_fold, isl_obj_union_set, isl_pw_qpolynomial_fold_has_equal_space(), isl_pw_qpolynomial_has_equal_space(), isl_set_has_equal_space(), obj_add(), and to_union().

Referenced by obj_add(), and obj_read_disjuncts().

◆ obj_read()

struct isl_obj obj_read ( __isl_keep isl_stream * s )

static

Definition at line 3024 of file isl_input.c.

References __isl_keep, isl_dim_param, isl_int_is_neg, isl_map_free(), isl_map_may_be_set(), isl_map_range(), isl_map_universe(), isl_obj_map, isl_obj_none, isl_obj_set, isl_obj_val, isl_space_params_alloc(), isl_stream_eat(), isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_IDENT, ISL_TOKEN_TO, ISL_TOKEN_VALUE, isl_val_int_from_isl_int(), map, map_read_polylib(), next_is_schedule(), next_token(), obj, obj_read(), obj_read_disjuncts(), read_map_tuple(), isl_token::s, schedule_read(), isl_token::type, isl_token::u, isl_token::v, vars::v, vars_free(), and vars_new().

Referenced by isl_stream_read_basic_map(), isl_stream_read_map(), isl_stream_read_obj(), isl_stream_read_pw_qpolynomial(), isl_stream_read_pw_qpolynomial_fold(), isl_stream_read_set(), isl_stream_read_union_map(), isl_stream_read_union_pw_qpolynomial(), isl_stream_read_union_set(), and obj_read().

◆ obj_read_body()

struct isl_obj obj_read_body	(	__isl_keep isl_stream *	s,
		__isl_take isl_map *	map,
		struct vars *	v )

static

Definition at line 2788 of file isl_input.c.

References __isl_keep, __isl_take, is_rational(), isl_dim_in, isl_dim_out, isl_map_domain(), isl_map_free(), isl_map_set_rational(), isl_obj_map, isl_obj_none, isl_obj_set, isl_set, isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_TO, map, n, next_is_tuple(), obj, obj_read_body(), obj_read_poly_or_fold(), read_map_tuple(), read_optional_formula(), set, isl_token::type, isl_obj::v, and vars_drop().

Referenced by obj_read_body(), and obj_read_disjuncts().

◆ obj_read_disjuncts()

struct isl_obj obj_read_disjuncts	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_keep isl_map *	map )

static

Definition at line 2995 of file isl_input.c.

References __isl_keep, isl_map_copy(), isl_map_get_space(), isl_obj_none, isl_obj_set, isl_obj_union_set, isl_stream_eat_if_available(), isl_stream_next_token_is(), isl_union_set_empty(), map, obj, obj_add(), obj_read_body(), obj_read_disjuncts(), and isl_obj::v.

Referenced by obj_read(), obj_read_disjuncts(), and read_union_set_body().

◆ obj_read_poly()

struct isl_obj obj_read_poly	(	__isl_keep isl_stream *	s,
		__isl_take isl_map *	map,
		struct vars *	v,
		int	n )

static

Definition at line 2706 of file isl_input.c.

References __isl_keep, __isl_take, isl_map_range(), isl_obj_pw_qpolynomial, isl_pw_qpolynomial_intersect_domain(), isl_set, map, n, vars::n, obj, obj_read_poly(), pwqp, read_optional_formula(), read_term(), set, and vars_drop().

Referenced by obj_read_poly(), and obj_read_poly_or_fold().

◆ obj_read_poly_or_fold()

struct isl_obj obj_read_poly_or_fold	(	__isl_keep isl_stream *	s,
		__isl_take isl_set *	set,
		struct vars *	v,
		int	n )

static

Definition at line 2725 of file isl_input.c.

References __isl_keep, __isl_take, isl_fold_max, isl_fold_min, isl_obj_none, isl_obj_pw_qpolynomial_fold, isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_fold_free(), isl_pw_qpolynomial_fold_from_pw_qpolynomial(), isl_pw_qpolynomial_fold_intersect_domain(), isl_set, isl_set_free(), isl_stream_eat(), isl_stream_eat_if_available(), ISL_TOKEN_MAX, ISL_TOKEN_MIN, n, obj, obj_read_poly(), obj_read_poly_or_fold(), pwqp, read_optional_formula(), read_term(), set, isl_obj::v, and vars_drop().

Referenced by obj_read_body(), and obj_read_poly_or_fold().

◆ optional_power()

int optional_power ( __isl_keep isl_stream * s )

static

Definition at line 2513 of file isl_input.c.

References __isl_keep, isl_int_get_si, isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_VALUE, isl_token::s, isl_token::type, isl_token::u, and isl_token::v.

Referenced by read_factor().

◆ polylib_pos_to_isl_pos()

isl_size polylib_pos_to_isl_pos	(	__isl_keep isl_basic_map *	bmap,
		int	pos )

static

Definition at line 2267 of file isl_input.c.

References __isl_keep, isl_basic_map_dim(), isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_size_error, and pos().

Referenced by basic_map_read_polylib_constraint().

◆ push_aff()

isl_stat push_aff	(	__isl_keep isl_stream *	s,
		int	line,
		int	col,
		__isl_take isl_pw_aff *	pa )

static

Definition at line 779 of file isl_input.c.

References __isl_keep, __isl_take, isl_token::col, isl_pw_aff_free(), isl_stat_error, isl_stat_ok, isl_stream_push_token(), ISL_TOKEN_AFF, isl_token_new(), isl_token::line, pa, isl_token::pwaff, isl_token::s, isl_token::type, and isl_token::u.

Referenced by accept_extended_affine(), accept_piecewise_affine(), resolve_paren_expr(), and update_piecewise_affine_colon().

◆ pw_aff_div_by_cst()

__isl_give isl_pw_aff * pw_aff_div_by_cst	(	__isl_keep isl_stream *	s,
		__isl_take isl_pw_aff *	pa )

static

Definition at line 350 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_pw_aff_free(), isl_pw_aff_scale_down(), isl_stream_error(), isl_token_free(), ISL_TOKEN_VALUE, next_token(), pa, isl_token::s, isl_token::type, isl_token::u, and isl_token::v.

Referenced by accept_affine_factor(), and accept_div().

◆ pw_aff_is_expr()

isl_bool pw_aff_is_expr	(	__isl_keep isl_pw_aff *	pa,
		int	i,
		int	n )

static

Definition at line 1019 of file isl_input.c.

References __isl_keep, aff, isl_bool_error, isl_bool_false, isl_bool_true, isl_int_is_zero, isl_set_plain_is_universe(), n, and pa.

Referenced by tuple_has_expr().

◆ read_aff_domain()

__isl_give isl_set * read_aff_domain	(	__isl_keep isl_stream *	s,
		__isl_take isl_set *	dom,
		struct vars *	v )

static

Definition at line 3515 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_token::is_keyword, isl_dim_set, isl_set, isl_set_free(), isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), ISL_TOKEN_IDENT, next_is_fresh_ident(), next_is_tuple(), read_map_tuple(), isl_token::s, isl_token::type, and isl_token::v.

Referenced by read_conditional_aff(), and read_union_pw_aff_with_dom().

◆ read_conditional_aff()

__isl_give isl_pw_aff * read_conditional_aff	(	__isl_keep isl_stream *	s,
		__isl_take isl_set *	dom,
		struct vars *	v )

static

Definition at line 3606 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_set, n, pa, read_aff_domain(), read_pw_aff_with_dom(), isl_token::s, isl_token::v, and vars_drop().

◆ read_conditional_multi_aff()

__isl_give isl_pw_multi_aff * read_conditional_multi_aff	(	__isl_keep isl_stream *	s,
		__isl_take isl_set *	dom,
		struct vars *	v )

static

Definition at line 3758 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_pw_multi_aff_from_multi_pw_aff(), isl_set, read_conditional_multi_pw_aff(), isl_token::s, and isl_token::v.

Referenced by isl_stream_read_with_params_union_pw_multi_aff().

◆ read_conditional_multi_pw_aff()

__isl_give isl_multi_pw_aff * read_conditional_multi_pw_aff	(	__isl_keep isl_stream *	s,
		__isl_take isl_set *	dom,
		struct vars *	v )

static

Definition at line 3714 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_dim_in, isl_map_domain(), isl_multi_pw_aff_intersect_domain(), isl_set, isl_set_free(), isl_set_get_space(), isl_stream_eat_if_available(), ISL_TOKEN_TO, map, map_from_tuple(), n, read_optional_formula(), read_tuple(), isl_token::s, tuple, isl_token::v, and vars_drop().

Referenced by isl_stream_read_with_params_multi_pw_aff(), and read_conditional_multi_aff().

◆ read_conjunct()

__isl_give isl_map * read_conjunct	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_map *	map,
		int	rational )

static

Definition at line 2145 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, add_constraint(), isl_map_copy(), isl_map_empty(), isl_map_free(), isl_map_get_space(), isl_stream_eat_if_available(), isl_stream_next_token(), isl_stream_next_token_is(), ISL_TOKEN_EXISTS, ISL_TOKEN_FALSE, isl_token_free(), ISL_TOKEN_MAP, ISL_TOKEN_TRUE, isl_token::map, map, read_exists(), resolve_paren_expr(), isl_token::s, isl_token::u, and isl_token::v.

Referenced by read_conjuncts().

◆ read_conjuncts()

__isl_give isl_map * read_conjuncts	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_map *	map,
		int	rational )

static

Definition at line 2181 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_map_copy(), isl_map_free(), isl_map_intersect(), isl_map_subtract(), isl_stream_eat_if_available(), ISL_TOKEN_AND, ISL_TOKEN_NOT, map, read_conjunct(), res, isl_token::s, and isl_token::v.

Referenced by read_disjuncts().

◆ read_defined_var_list()

__isl_give isl_map * read_defined_var_list	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_map *	map,
		int	rational )

static

Definition at line 924 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_dim_out, isl_map_add_dims(), isl_map_free(), isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_IDENT, map, n, p, read_var_def(), isl_token::s, isl_token::type, isl_token::u, isl_token::v, and vars_pos().

Referenced by read_exists().

◆ read_disjuncts()

__isl_give isl_map * read_disjuncts	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_map *	map,
		int	rational )

static

Definition at line 2207 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_map_copy(), isl_map_free(), isl_map_union(), isl_stream_eat_if_available(), isl_stream_next_token_is(), ISL_TOKEN_OR, map, read_conjuncts(), res, isl_token::s, and isl_token::v.

Referenced by read_formula().

◆ read_exists()

__isl_give isl_map * read_exists	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_map *	map,
		int	rational )

static

Definition at line 2042 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_map_domain(), isl_map_free(), isl_map_from_domain(), isl_map_wrap(), isl_set_unwrap(), isl_stream_eat(), isl_stream_eat_if_available(), map, n, read_defined_var_list(), read_formula(), isl_token::s, isl_token::v, and vars_drop().

Referenced by read_conjunct().

◆ read_factor()

__isl_give isl_pw_qpolynomial * read_factor	(	__isl_keep isl_stream *	s,
		__isl_keep isl_map *	map,
		struct vars *	v )

static

Definition at line 2541 of file isl_input.c.

References __isl_give, __isl_keep, accept_div(), is_start_of_div(), isl_map_get_space(), isl_pw_qpolynomial_free(), isl_pw_qpolynomial_from_pw_aff(), isl_pw_qpolynomial_from_qpolynomial(), isl_pw_qpolynomial_mul(), isl_pw_qpolynomial_neg(), isl_pw_qpolynomial_pow(), isl_qpolynomial_cst_on_domain(), isl_qpolynomial_infty_on_domain(), isl_qpolynomial_nan_on_domain(), isl_qpolynomial_rat_cst_on_domain(), isl_qpolynomial_var_pow_on_domain(), isl_stream_eat(), isl_stream_eat_if_available(), isl_stream_error(), isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_IDENT, ISL_TOKEN_INFTY, ISL_TOKEN_NAN, ISL_TOKEN_VALUE, map, n, next_token(), optional_power(), pos(), isl_token::pwaff, pwqp, read_factor(), read_term(), isl_token::s, isl_token::type, isl_token::u, isl_token::v, vars_drop(), and vars_pos().

Referenced by read_factor(), and read_term().

◆ read_formula()

__isl_give isl_map * read_formula	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_map *	map,
		int	rational )

static

Definition at line 2248 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_map_copy(), isl_map_free(), isl_map_subtract(), isl_map_union(), isl_stream_eat_if_available(), ISL_TOKEN_IMPLIES, map, read_disjuncts(), res, isl_token::s, and isl_token::v.

Referenced by accept_extended_affine(), read_exists(), read_optional_formula(), resolve_paren_expr(), and update_piecewise_affine_colon().

◆ read_map_tuple()

__isl_give isl_map * read_map_tuple	(	__isl_keep isl_stream *	s,
		__isl_take isl_map *	map,
		enum isl_dim_type	type,
		struct vars *	v,
		int	rational,
		int	comma )

static

Definition at line 1705 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_map_free(), map, map_from_tuple(), read_tuple(), isl_token::s, tuple, type, and isl_token::v.

Referenced by FN(), MULTI(), obj_read(), obj_read_body(), read_aff_domain(), read_multi_union_pw_aff_core(), and read_universe_params().

◆ read_multi_union_pw_aff_body()

__isl_give isl_multi_union_pw_aff * read_multi_union_pw_aff_body	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_space *	space )

static

Definition at line 4131 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_multi_union_pw_aff_intersect_domain(), isl_space_copy(), isl_space_free(), isl_stream_eat(), isl_stream_eat_if_available(), isl_stream_next_token_is(), isl_union_set, mupa, read_multi_union_pw_aff_body_core(), read_union_set_body(), and isl_obj::v.

Referenced by read_multi_union_pw_aff_core().

◆ read_multi_union_pw_aff_body_core()

__isl_give isl_multi_union_pw_aff * read_multi_union_pw_aff_body_core	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_space *	space )

static

Definition at line 4073 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, mupa, read_tuple_space(), read_union_pw_aff_el(), isl_token::s, and isl_token::v.

Referenced by read_multi_union_pw_aff_body().

◆ read_multi_union_pw_aff_core()

__isl_give isl_multi_union_pw_aff * read_multi_union_pw_aff_core ( __isl_keep isl_stream * s )

static

Definition at line 4184 of file isl_input.c.

References __isl_give, __isl_keep, isl_dim_param, isl_multi_union_pw_aff_zero(), isl_set, isl_set_free(), isl_set_get_space(), isl_set_universe(), isl_space_params_alloc(), isl_space_set_alloc(), isl_stream_eat(), ISL_TOKEN_TO, mupa, next_is_empty_tuple(), next_is_param_tuple(), read_map_tuple(), read_multi_union_pw_aff_body(), vars::v, vars_free(), and vars_new().

Referenced by isl_stream_read_multi_union_pw_aff().

◆ read_optional_formula()

__isl_give isl_map * read_optional_formula	(	__isl_keep isl_stream *	s,
		__isl_take isl_map *	map,
		struct vars *	v,
		int	rational )

static

Definition at line 2683 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_map_free(), isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_OR, map, read_formula(), isl_token::s, isl_token::type, isl_token::u, and isl_token::v.

Referenced by obj_read_body(), obj_read_poly(), obj_read_poly_or_fold(), read_conditional_multi_pw_aff(), and read_pw_aff_with_dom().

◆ read_params()

__isl_give isl_space * read_params	(	__isl_keep isl_stream *	s,
		struct vars *	v )

static

Definition at line 1749 of file isl_input.c.

References __isl_give, __isl_keep, isl_set, isl_set_free(), isl_set_get_space(), read_universe_params(), isl_token::s, set, and isl_token::v.

Referenced by isl_stream_read_multi_aff(), and isl_stream_read_space().

◆ read_pw_aff_with_dom()

__isl_give isl_pw_aff * read_pw_aff_with_dom	(	__isl_keep isl_stream *	s,
		__isl_take isl_set *	dom,
		struct vars *	v )

static

Definition at line 3575 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, accept_affine(), isl_pw_aff_free(), isl_pw_aff_intersect_domain(), isl_set, isl_set_free(), isl_set_get_space(), isl_set_is_params(), isl_stream_eat(), ISL_TOKEN_TO, isl_token::pwaff, read_optional_formula(), isl_token::s, and isl_token::v.

Referenced by read_conditional_aff(), and read_union_pw_aff_with_dom().

◆ read_space_tuples()

__isl_give isl_space * read_space_tuples	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_space *	params )

static

Definition at line 1807 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_space_copy(), isl_space_free(), isl_space_product(), isl_space_unwrap(), isl_stream_eat_if_available(), ISL_TOKEN_TO, params, read_tuple_id(), read_tuple_space(), isl_token::s, and isl_token::v.

Referenced by isl_stream_read_space().

◆ read_term()

__isl_give isl_pw_qpolynomial * read_term	(	__isl_keep isl_stream *	s,
		__isl_keep isl_map *	map,
		struct vars *	v )

static

Definition at line 2649 of file isl_input.c.

References __isl_give, __isl_keep, isl_pw_qpolynomial_add(), isl_pw_qpolynomial_sub(), isl_stream_push_token(), isl_token_free(), map, next_token(), pwqp, read_factor(), isl_token::s, isl_token::type, and isl_token::v.

Referenced by obj_read_poly(), obj_read_poly_or_fold(), and read_factor().

◆ read_tuple()

__isl_give isl_multi_pw_aff * read_tuple	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		int	rational,
		int	comma )

static

Definition at line 1585 of file isl_input.c.

References __isl_give, __isl_keep, isl_dim_in, isl_dim_set, isl_pw_aff_add_dims(), isl_space_add_dims(), isl_space_dim(), isl_space_free(), isl_space_from_range(), isl_space_params_alloc(), n, pa, read_tuple_pw_aff_el(), read_tuple_space(), isl_token::s, and isl_token::v.

Referenced by isl_stream_read_multi_aff(), read_conditional_multi_pw_aff(), and read_map_tuple().

◆ read_tuple_id()

__isl_give isl_space * read_tuple_id	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_space *	space,
		int	rational,
		void *	user )

static

Definition at line 1766 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_space_free(), isl_stream_error(), isl_token_free(), ISL_TOKEN_IDENT, n, next_token(), p, isl_token::s, space_set_last_dim_name(), isl_token::type, isl_token::u, user, isl_token::v, vars_add_anon(), and vars_pos().

Referenced by read_space_tuples().

◆ read_tuple_list()

__isl_give isl_space * read_tuple_list	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_space *	space,
		int	rational,
		int	comma,
		__isl_give isl_space (	read_el )(__isl_keep isl_stream s, struct vars v, __isl_take isl_space space, int rational, void user),
		void *	user )

static

Definition at line 1401 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, isl_dim_set, isl_space_add_dims(), isl_space_set_from_params(), isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), isl_token_free(), isl_token::s, isl_token::type, user, and isl_token::v.

Referenced by read_tuple_space().

◆ read_tuple_pw_aff_el()

__isl_give isl_space * read_tuple_pw_aff_el	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_space *	space,
		int	rational,
		void *	user )

static

Definition at line 1518 of file isl_input.c.

References __isl_give, __isl_keep, __isl_take, identity_tuple_el(), isl_space_free(), isl_stream_eat_if_available(), isl_stream_error(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_IDENT, n, next_token(), p, pa, read_tuple_var_def(), isl_token::s, space_set_last_dim_name(), isl_token::type, isl_token::u, user, isl_token::v, vars_add_anon(), and vars_pos().

Referenced by read_tuple().

◆ read_tuple_space()

__isl_give isl_space * read_tuple_space	(	__isl_keep isl_stream *	s,
		struct vars *	v,
		__isl_take isl_space *	space,
		int	rational,
		int	comma,
		__isl_give isl_space (	read_el )(__isl_keep isl_stream s, struct vars v, __isl_take isl_space space, int rational, void user),
		void *	user )