PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include "linear_assert.h"
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "sc-private.h"
Go to the source code of this file.
Macros | |
#define | SC_DEBUG_LEVEL "SC_DEBUG_LEVEL" |
#define | SC_SWITCH_HEURISTIC_FLAG "SC_SWITCH_HEURISTIC_FLAG" |
Typedefs | |
typedef char *(* | var_name_t) (Variable) |
Functions | |
void | set_sc_debug_level (int l) |
SET FUNCTIONS. More... | |
static void | set_sc_switch_heuristic_flag (int l) |
void | sc_variable_name_push (char *(*fun)(Variable)) |
static void | sc_variable_name_init (void) |
void | sc_variable_name_pop (void) |
char * | default_variable_to_string (Variable v) |
void | initialize_sc (char *(*var_to_string)(Variable)) |
Variables | |
int | sc_debug_level = 0 |
int | sc_switch_heuristic_flag = 0 |
static var_name_t * | var_name_stack = NULL |
static int | var_name_stack_index = 0 |
static int | var_name_stack_size = 0 |
next available chunck More... | |
#define SC_DEBUG_LEVEL "SC_DEBUG_LEVEL" |
Definition at line 46 of file sc_debug.c.
#define SC_SWITCH_HEURISTIC_FLAG "SC_SWITCH_HEURISTIC_FLAG" |
Definition at line 47 of file sc_debug.c.
typedef char*(* var_name_t) (Variable) |
Definition at line 211 of file sc_debug.c.
char* default_variable_to_string | ( | Variable | v | ) |
Definition at line 245 of file sc_debug.c.
References assert, var_name_stack, and var_name_stack_index.
Referenced by chose_variable_to_project_for_feasability(), hyperplane(), new_system_with_only_live_variable(), sc_default_dump(), sc_default_dump_to_files(), sc_fm_project_variables(), and sc_fourier_motzkin_feasibility_ofl_ctrl().
void initialize_sc | ( | char *(*)(Variable) | var_to_string | ) |
sc debug
sc switch heuristic
variable name stuff
Definition at line 253 of file sc_debug.c.
References fprintf(), LINEAR_VALUE_STRING, SC_DEBUG_LEVEL, SC_SWITCH_HEURISTIC_FLAG, sc_variable_name_init(), sc_variable_name_push(), set_sc_debug_level(), and set_sc_switch_heuristic_flag().
Referenced by atinit(), gpips_main(), main(), pips_main(), tpips_init(), and wpips_main().
|
static |
Definition at line 228 of file sc_debug.c.
References assert, malloc(), sc_variable_name_push(), var_name_stack, var_name_stack_index, var_name_stack_size, and variable_default_name().
Referenced by initialize_sc().
void sc_variable_name_pop | ( | void | ) |
Definition at line 239 of file sc_debug.c.
References assert, and var_name_stack_index.
Referenced by generic_module_name_to_transformers(), module_name_to_preconditions(), and module_name_to_total_preconditions().
void sc_variable_name_push | ( | char *(*)(Variable) | fun | ) |
Definition at line 217 of file sc_debug.c.
References var_name_stack, var_name_stack_index, and var_name_stack_size.
Referenced by generic_module_name_to_transformers(), initialize_sc(), module_name_to_preconditions(), module_name_to_total_preconditions(), and sc_variable_name_init().
void set_sc_debug_level | ( | int | l | ) |
SET FUNCTIONS.
Let's change variables directly here, except sc_debug_level? or use functions returning values, within private variables? DN
Definition at line 121 of file sc_debug.c.
References sc_debug_level.
Referenced by initialize_sc().
|
static |
Definition at line 126 of file sc_debug.c.
References sc_switch_heuristic_flag.
Referenced by initialize_sc().
int sc_debug_level = 0 |
Definition at line 89 of file sc_debug.c.
Referenced by set_sc_debug_level().
int sc_switch_heuristic_flag = 0 |
Definition at line 90 of file sc_debug.c.
Referenced by set_sc_switch_heuristic_flag().
|
static |
Definition at line 213 of file sc_debug.c.
Referenced by default_variable_to_string(), sc_variable_name_init(), and sc_variable_name_push().
|
static |
Definition at line 214 of file sc_debug.c.
Referenced by default_variable_to_string(), sc_variable_name_init(), sc_variable_name_pop(), and sc_variable_name_push().
|
static |
next available chunck
Definition at line 215 of file sc_debug.c.
Referenced by sc_variable_name_init(), and sc_variable_name_push().