sc_debug.c File Reference

#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"

Include dependency graph for sc_debug.c:

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...

Macro Definition Documentation

SC_DEBUG_LEVEL

#define SC_DEBUG_LEVEL   "SC_DEBUG_LEVEL"

Definition at line 46 of file sc_debug.c.

SC_SWITCH_HEURISTIC_FLAG

#define SC_SWITCH_HEURISTIC_FLAG   "SC_SWITCH_HEURISTIC_FLAG"

Definition at line 47 of file sc_debug.c.

Typedef Documentation

var_name_t

typedef char*(* var_name_t) (Variable)

Definition at line 211 of file sc_debug.c.

Function Documentation

default_variable_to_string()

char* default_variable_to_string

(

Variable

v

)

Definition at line 245 of file sc_debug.c.

{
  assert(var_name_stack_index>0);
  return (*(var_name_stack[var_name_stack_index-1]))(v);
}

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().

Here is the caller graph for this function:

initialize_sc()

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.

{
  char * tmp;
 
  /* sc debug */
  tmp = getenv(SC_DEBUG_LEVEL);
  if (tmp) set_sc_debug_level(atoi(tmp));
 
  /* sc switch heuristic */
  tmp = getenv(SC_SWITCH_HEURISTIC_FLAG);
  if (tmp) set_sc_switch_heuristic_flag(atoi(tmp));
 
#ifdef  FILTERING
  
  /* timeout filtering*/
  tmp = getenv(FLAG_FILTERING_TIMEOUT_JANUS);
  if (tmp) set_filtering_timeout_J(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_TIMEOUT_LINEAR_SIMPLEX);
  if (tmp) set_filtering_timeout_S(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_TIMEOUT_FM);
  if (tmp) set_filtering_timeout_FM(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_TIMEOUT_CONVEX_HULL);
  if (tmp) set_filtering_timeout_convex_hull(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_TIMEOUT_PROJECTION);
  if (tmp) set_filtering_timeout_projection(atoi(tmp));
 
  /* size filtering*/
  tmp = getenv(FLAG_FILTERING_DIMENSION_FEASIBILITY);
  if (tmp) set_filtering_dimension_feasibility(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_NUMBER_CONSTRAINTS_FEASIBILITY);
  if (tmp) set_filtering_number_constraints_feasibility(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_DENSITY_FEASIBILITY);
  if (tmp) set_filtering_density_feasibility(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_MAGNITUDE_FEASIBILITY);
  if (tmp) set_filtering_magnitude_feasibility(atol(tmp));
 
  tmp = getenv(FLAG_FILTERING_DIMENSION_PROJECTION);
  if (tmp) set_filtering_dimension_projection(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_NUMBER_CONSTRAINTS_PROJECTION);
  if (tmp) set_filtering_number_constraints_projection(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_DENSITY_PROJECTION);
  if (tmp) set_filtering_density_projection(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_MAGNITUDE_PROJECTION);
  if (tmp) set_filtering_magnitude_projection(atol(tmp));
 
  tmp = getenv(FLAG_FILTERING_DIMENSION_CONVEX_HULL);
  if (tmp) set_filtering_dimension_convex_hull(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_NUMBER_CONSTRAINTS_CONVEX_HULL);
  if (tmp) set_filtering_number_constraints_convex_hull(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_DENSITY_CONVEX_HULL);
  if (tmp) set_filtering_density_convex_hull(atoi(tmp));
 
  tmp = getenv(FLAG_FILTERING_MAGNITUDE_CONVEX_HULL);
  if (tmp) set_filtering_magnitude_convex_hull(atol(tmp));
 
#endif
 
  /* variable name stuff */
  sc_variable_name_init();
  sc_variable_name_push(var_to_string);
  
  ifscdebug(1)
    fprintf(stderr, "[initialize_sc] Value: " LINEAR_VALUE_STRING "\n");  
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

sc_variable_name_init()

static void sc_variable_name_init ( void  )

static

Definition at line 228 of file sc_debug.c.

{
  assert(!var_name_stack);
 
  var_name_stack_index = 0;
  var_name_stack_size = 10;
  var_name_stack = (var_name_t*) 
    malloc(sizeof(var_name_t)*var_name_stack_size);
  sc_variable_name_push(variable_default_name);
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

sc_variable_name_pop()

void sc_variable_name_pop

(

void

)

Definition at line 239 of file sc_debug.c.

{
  assert(var_name_stack_index>0);
  var_name_stack_index--;
}

References assert, and var_name_stack_index.

Referenced by generic_module_name_to_transformers(), module_name_to_preconditions(), and module_name_to_total_preconditions().

Here is the caller graph for this function:

sc_variable_name_push()

void sc_variable_name_push

(

char *(*)(Variable)

fun

)

Definition at line 217 of file sc_debug.c.

{
  if (var_name_stack_index==var_name_stack_size)
  {
    var_name_stack_size+=10;
    var_name_stack = (var_name_t*) 
      realloc(var_name_stack, sizeof(var_name_t)*var_name_stack_size);
  }
  var_name_stack[var_name_stack_index++] = fun;
}

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().

Here is the caller graph for this function:

set_sc_debug_level()

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.

{ 
    sc_debug_level = l ;
}

References sc_debug_level.

Referenced by initialize_sc().

Here is the caller graph for this function:

set_sc_switch_heuristic_flag()

static void set_sc_switch_heuristic_flag ( int  l )

static

Definition at line 126 of file sc_debug.c.

{ 
    sc_switch_heuristic_flag = l ;
}

References sc_switch_heuristic_flag.

Referenced by initialize_sc().

Here is the caller graph for this function:

Variable Documentation

sc_debug_level

int sc_debug_level = 0

Definition at line 89 of file sc_debug.c.

Referenced by set_sc_debug_level().

sc_switch_heuristic_flag

int sc_switch_heuristic_flag = 0

Definition at line 90 of file sc_debug.c.

Referenced by set_sc_switch_heuristic_flag().

var_name_stack

var_name_t* var_name_stack = NULL

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().

var_name_stack_index

int var_name_stack_index = 0

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().

var_name_stack_size

int var_name_stack_size = 0

static

next available chunck

Definition at line 215 of file sc_debug.c.

Referenced by sc_variable_name_init(), and sc_variable_name_push().