46 #define SC_DEBUG_LEVEL "SC_DEBUG_LEVEL"
47 #define SC_SWITCH_HEURISTIC_FLAG "SC_SWITCH_HEURISTIC_FLAG"
58 #define FLAG_CONTROL_DIMENSION_CONVEX_HULL "CONTROL_DIMENSION_CONVEX_HULL"
59 #define FLAG_CONTROL_NUMBER_CONSTRAINTS_CONVEX_HULL "CONTROL_NUMBER_CONSTRAINTS_CONVEX_HULL"
60 #define FLAG_CONTROL_DIMENSION_PROJECTION "CONTROL_DIMENSION_PROJECTION"
61 #define FLAG_CONTROL_NUMBER_CONSTRAINTS_PROJECTION "CONTROL_NUMBER_CONSTRAINTS_PROJECTION"
65 #define FLAG_FILTERING_TIMEOUT_JANUS "FILTERING_TIMEOUT_JANUS"
66 #define FLAG_FILTERING_TIMEOUT_LINEAR_SIMPLEX "FILTERING_TIMEOUT_LINEAR_SIMPLEX"
67 #define FLAG_FILTERING_TIMEOUT_FM "FILTERING_TIMEOUT_FM"
68 #define FLAG_FILTERING_TIMEOUT_CONVEX_HULL "FILTERING_TIMEOUT_CONVEX_HULL"
69 #define FLAG_FILTERING_TIMEOUT_PROJECTION "FILTERING_TIMEOUT_PROJECTION"
72 #define FLAG_FILTERING_DIMENSION_FEASIBILITY "FILTERING_DIMENSION_FEASIBILITY"
73 #define FLAG_FILTERING_NUMBER_CONSTRAINTS_FEASIBILITY "FILTERING_NUMBER_CONSTRAINTS_FEASIBILITY"
74 #define FLAG_FILTERING_DENSITY_FEASIBILITY "FILTERING_DENSITY_FEASIBILITY"
75 #define FLAG_FILTERING_MAGNITUDE_FEASIBILITY "FILTERING_MAGNITUDE_FEASIBILITY"
77 #define FLAG_FILTERING_DIMENSION_PROJECTION "FILTERING_DIMENSION_PROJECTION"
78 #define FLAG_FILTERING_NUMBER_CONSTRAINTS_PROJECTION "FILTERING_NUMBER_CONSTRAINTS_PROJECTION"
79 #define FLAG_FILTERING_DENSITY_PROJECTION "FILTERING_DENSITY_PROJECTION"
80 #define FLAG_FILTERING_MAGNITUDE_PROJECTION "FILTERING_MAGNITUDE_PROJECTION"
82 #define FLAG_FILTERING_DIMENSION_CONVEX_HULL "FILTERING_DIMENSION_CONVEX_HULL"
83 #define FLAG_FILTERING_NUMBER_CONSTRAINTS_CONVEX_HULL "FILTERING_NUMBER_CONSTRAINTS_CONVEX_HULL"
84 #define FLAG_FILTERING_DENSITY_CONVEX_HULL "FILTERING_DENSITY_CONVEX_HULL"
85 #define FLAG_FILTERING_MAGNITUDE_CONVEX_HULL "FILTERING_MAGNITUDE_CONVEX_HULL"
94 int filtering_timeout_J = 0;
95 int filtering_timeout_S = 0;
96 int filtering_timeout_FM = 0;
97 int filtering_timeout_CH = 0;
98 int filtering_timeout_projection = 0;
100 int filtering_dimension_feasibility = 0;
101 int filtering_number_constraints_feasibility = 0;
102 int filtering_density_feasibility = 0;
103 long int filtering_magnitude_feasibility = 0;
105 int filtering_dimension_projection = 0;
106 int filtering_number_constraints_projection = 0;
107 int filtering_density_projection = 0;
108 long int filtering_magnitude_projection = 0;
110 int filtering_dimension_convex_hull = 0;
111 int filtering_number_constraints_convex_hull = 0;
112 int filtering_density_convex_hull = 0;
113 long int filtering_magnitude_convex_hull = 0;
135 static void set_filtering_timeout_J(
int l)
137 filtering_timeout_J = l;
139 static void set_filtering_timeout_S(
int l)
141 filtering_timeout_S = l ;
143 static void set_filtering_timeout_FM(
int l)
145 filtering_timeout_FM = l ;
147 static void set_filtering_timeout_convex_hull(
int l)
149 filtering_timeout_CH = l ;
151 static void set_filtering_timeout_projection(
int l)
153 filtering_timeout_projection = l ;
158 static void set_filtering_dimension_feasibility(
int l)
160 filtering_dimension_feasibility = l ;
162 static void set_filtering_number_constraints_feasibility(
int l)
164 filtering_number_constraints_feasibility = l ;
166 static void set_filtering_density_feasibility(
int l)
168 filtering_density_feasibility = l ;
170 static void set_filtering_magnitude_feasibility(
long int l)
172 filtering_magnitude_feasibility = l ;
175 static void set_filtering_dimension_projection(
int l)
177 filtering_dimension_projection = l ;
179 static void set_filtering_number_constraints_projection(
int l)
181 filtering_number_constraints_projection = l ;
183 static void set_filtering_density_projection(
int l)
185 filtering_density_projection = l ;
187 static void set_filtering_magnitude_projection(
long int l)
189 filtering_magnitude_projection = l ;
192 static void set_filtering_dimension_convex_hull(
int l)
194 filtering_dimension_convex_hull = l ;
196 static void set_filtering_number_constraints_convex_hull(
int l)
198 filtering_number_constraints_convex_hull = l ;
200 static void set_filtering_density_convex_hull(
int l)
202 filtering_density_convex_hull = l ;
204 static void set_filtering_magnitude_convex_hull(
long int l)
206 filtering_magnitude_convex_hull = l ;
268 tmp = getenv(FLAG_FILTERING_TIMEOUT_JANUS);
269 if (tmp) set_filtering_timeout_J(atoi(tmp));
271 tmp = getenv(FLAG_FILTERING_TIMEOUT_LINEAR_SIMPLEX);
272 if (tmp) set_filtering_timeout_S(atoi(tmp));
274 tmp = getenv(FLAG_FILTERING_TIMEOUT_FM);
275 if (tmp) set_filtering_timeout_FM(atoi(tmp));
277 tmp = getenv(FLAG_FILTERING_TIMEOUT_CONVEX_HULL);
278 if (tmp) set_filtering_timeout_convex_hull(atoi(tmp));
280 tmp = getenv(FLAG_FILTERING_TIMEOUT_PROJECTION);
281 if (tmp) set_filtering_timeout_projection(atoi(tmp));
284 tmp = getenv(FLAG_FILTERING_DIMENSION_FEASIBILITY);
285 if (tmp) set_filtering_dimension_feasibility(atoi(tmp));
287 tmp = getenv(FLAG_FILTERING_NUMBER_CONSTRAINTS_FEASIBILITY);
288 if (tmp) set_filtering_number_constraints_feasibility(atoi(tmp));
290 tmp = getenv(FLAG_FILTERING_DENSITY_FEASIBILITY);
291 if (tmp) set_filtering_density_feasibility(atoi(tmp));
293 tmp = getenv(FLAG_FILTERING_MAGNITUDE_FEASIBILITY);
294 if (tmp) set_filtering_magnitude_feasibility(atol(tmp));
296 tmp = getenv(FLAG_FILTERING_DIMENSION_PROJECTION);
297 if (tmp) set_filtering_dimension_projection(atoi(tmp));
299 tmp = getenv(FLAG_FILTERING_NUMBER_CONSTRAINTS_PROJECTION);
300 if (tmp) set_filtering_number_constraints_projection(atoi(tmp));
302 tmp = getenv(FLAG_FILTERING_DENSITY_PROJECTION);
303 if (tmp) set_filtering_density_projection(atoi(tmp));
305 tmp = getenv(FLAG_FILTERING_MAGNITUDE_PROJECTION);
306 if (tmp) set_filtering_magnitude_projection(atol(tmp));
308 tmp = getenv(FLAG_FILTERING_DIMENSION_CONVEX_HULL);
309 if (tmp) set_filtering_dimension_convex_hull(atoi(tmp));
311 tmp = getenv(FLAG_FILTERING_NUMBER_CONSTRAINTS_CONVEX_HULL);
312 if (tmp) set_filtering_number_constraints_convex_hull(atoi(tmp));
314 tmp = getenv(FLAG_FILTERING_DENSITY_CONVEX_HULL);
315 if (tmp) set_filtering_density_convex_hull(atoi(tmp));
317 tmp = getenv(FLAG_FILTERING_MAGNITUDE_CONVEX_HULL);
318 if (tmp) set_filtering_magnitude_convex_hull(atol(tmp));
#define LINEAR_VALUE_STRING
default: LINEAR_VALUE_IS_INT
char * variable_default_name(Variable v)
char * variable_default_name(Variable v): returns the name of variable v
char *(* var_name_t)(Variable)
static int var_name_stack_index
int sc_switch_heuristic_flag
#define SC_SWITCH_HEURISTIC_FLAG
static int var_name_stack_size
next available chunck
char * default_variable_to_string(Variable v)
void set_sc_debug_level(int l)
SET FUNCTIONS.
void sc_variable_name_pop(void)
static void set_sc_switch_heuristic_flag(int l)
void sc_variable_name_push(char *(*fun)(Variable))
static var_name_t * var_name_stack
static void sc_variable_name_init(void)
void initialize_sc(char *(*var_to_string)(Variable))
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....