Polly 19.0.0git
Classes | Macros | Functions | Variables
pip.c File Reference
#include <assert.h>
#include <string.h>
#include <isl_map_private.h>
#include <isl/aff.h>
#include <isl/set.h>
#include "isl_sample.h"
#include "isl_scan.h"
#include <isl_seq.h>
#include <isl_ilp_private.h>
#include <isl/printer.h>
#include <isl_point_private.h>
#include <isl_vec_private.h>
#include <isl/options.h>
#include <isl_config.h>

Go to the source code of this file.

Classes

struct  options
 
struct  isl_scan_pip
 

Macros

#define FORMAT_SET   0
 
#define FORMAT_AFF   1
 

Functions

 ISL_ARG_CHOICE (struct options, format, 0, "format", pip_format, FORMAT_SET, "output format")
 
static __isl_give isl_basic_setto_parameter_domain (__isl_take isl_basic_set *context)
 
static __isl_give isl_basic_setmove_parameters (__isl_take isl_basic_set *bset, __isl_keep isl_basic_set *context)
 
static __isl_give isl_basic_setplug_in_parameters (__isl_take isl_basic_set *bset, __isl_take isl_vec *params)
 
static __isl_give isl_setset_plug_in_parameters (__isl_take isl_set *set, __isl_take isl_vec *params)
 
static __isl_give isl_vecopt_at (__isl_take isl_basic_set *bset, __isl_take isl_vec *params, int max)
 
static isl_stat scan_one (struct isl_scan_callback *callback, __isl_take isl_vec *sample)
 
static void check_solution (isl_basic_set *bset, isl_basic_set *context, isl_set *sol, isl_set *empty, int max)
 
int main (int argc, char **argv)
 

Variables

struct isl_arg_choice pip_format []
 

Macro Definition Documentation

◆ FORMAT_AFF

#define FORMAT_AFF   1

Definition at line 48 of file pip.c.

◆ FORMAT_SET

#define FORMAT_SET   0

Definition at line 47 of file pip.c.

Function Documentation

◆ check_solution()

static void check_solution ( isl_basic_set bset,
isl_basic_set context,
isl_set sol,
isl_set empty,
int  max 
)
static

◆ ISL_ARG_CHOICE()

ISL_ARG_CHOICE ( struct options  ,
format  ,
,
"format"  ,
pip_format  ,
FORMAT_SET  ,
"output format"   
)

◆ main()

int main ( int  argc,
char **  argv 
)

◆ move_parameters()

static __isl_give isl_basic_set * move_parameters ( __isl_take isl_basic_set bset,
__isl_keep isl_basic_set context 
)
static

Definition at line 107 of file pip.c.

References context, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_move_dims(), isl_dim_param, and isl_dim_set.

Referenced by main().

◆ opt_at()

static __isl_give isl_vec * opt_at ( __isl_take isl_basic_set bset,
__isl_take isl_vec params,
int  max 
)
static

◆ plug_in_parameters()

static __isl_give isl_basic_set * plug_in_parameters ( __isl_take isl_basic_set bset,
__isl_take isl_vec params 
)
static

◆ scan_one()

static isl_stat scan_one ( struct isl_scan_callback callback,
__isl_take isl_vec sample 
)
static

◆ set_plug_in_parameters()

static __isl_give isl_set * set_plug_in_parameters ( __isl_take isl_set set,
__isl_take isl_vec params 
)
static

Definition at line 156 of file pip.c.

References isl_dim_param, isl_set_dim(), isl_set_fix(), isl_set_free(), isl_set_remove_dims(), isl_vec_free(), n, params, and set.

Referenced by scan_one().

◆ to_parameter_domain()

static __isl_give isl_basic_set * to_parameter_domain ( __isl_take isl_basic_set context)
static

Variable Documentation

◆ pip_format

struct isl_arg_choice pip_format[]
Initial value:
= {
{"set", FORMAT_SET},
{"affine", FORMAT_AFF},
{0}
}
#define FORMAT_AFF
Definition: pip.c:48
#define FORMAT_SET
Definition: pip.c:47

Definition at line 50 of file pip.c.