variable.c File Reference

#include <stdio.h>
#include <string.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"

Include dependency graph for variable.c:

Go to the source code of this file.

Functions
bool	variable_equal (Variable v1, Variable v2)
	package vecteur - routines sur les variables More...
char *	variable_default_name (Variable v)
	char * variable_default_name(Variable v): returns the name of variable v More...
char *	variable_dump_name (Variable v)
	variable_dump_name() returns an unambiguous name for variable v, based on the pointer used to really identify variables in the vecteur package; the name starts with the letter X and contains the hexadecimal representation of v More...
void	init_variable_debug_name (char *(*name)(Variable))
	This function is mostly intended for use from within gdb. More...
void	reset_variable_debug_name (void)
Variable	variable_make (char *name)
	Variable variable_make(char * name): defines a new variable of a given name. More...

Variables
char *(*	variable_debug_name )(Variable) = variable_dump_name
	Debug support: pointer to the function used by debug print outs. More...

Function Documentation

init_variable_debug_name()

void init_variable_debug_name

(

char *(*)(Variable)

name

)

This function is mostly intended for use from within gdb.

Definition at line 117 of file variable.c.

{
  variable_debug_name = name;
}

References variable_debug_name.

reset_variable_debug_name()

void reset_variable_debug_name

(

void

)

Definition at line 121 of file variable.c.

{
  variable_debug_name = variable_dump_name;
}

References variable_debug_name, and variable_dump_name().

Here is the call graph for this function:

variable_default_name()

char* variable_default_name

(

Variable

v

)

char * variable_default_name(Variable v): returns the name of variable v

Type variable is assumed here to be char *

Definition at line 81 of file variable.c.

{
    return((char *)v);
}

Referenced by add_var_sup(), eq_in_ineq(), main(), primal(), primal_pivot(), primal_positive(), rec_ident(), sc_variable_name_init(), show_nredund(), test_file(), and var_ecart_sup().

Here is the caller graph for this function:

variable_dump_name()

char* variable_dump_name

(

Variable

v

)

variable_dump_name() returns an unambiguous name for variable v, based on the pointer used to really identify variables in the vecteur package; the name starts with the letter X and contains the hexadecimal representation of v

Bugs:

• the name is build in a local buffer; so a call to this function overwrite the previous returned value

Room for X0x1234567812345678\0 for example on 64 bit address architecture since Variable is a pointer to something:

Definition at line 96 of file variable.c.

                                      {
  /* Room for X0x1234567812345678\0 for example on 64 bit address
     architecture since Variable is a pointer to something: */
  static char buffer[sizeof(void *)*2+4]; 
 
  buffer[0] = 'X';
  (void) sprintf(&buffer[1],"%p", v);
  return(buffer);
}

References buffer.

Referenced by fprint_message(), main(), mk_rn(), reset_variable_debug_name(), sg_dump(), and sg_without_line().

Here is the caller graph for this function:

variable_equal()

bool variable_equal	(	Variable	v1,
		Variable	v2
	)

package vecteur - routines sur les variables

variable.c

Francois Irigoin

Notes:

• variable_equal() and variable_default_name() should be overriden by application specific routines
• the same holds for variable_make()
• variable are identified by opaque void * (Variable)

Modifications: INTLIBRARY bool variable_equal(Variable v1, Variable v2): returns true if variables v1 and v2 have the same VALUE

Type Variable is assumed here to be char *

Modifications:

• no assumptions are made on type Variable; v1 and v2 may be of any type; all computations in vecteur.dir are based on pointer comparisons (FI, 28/12/89); this may lead to disaster for unit testing (FI, 11/12/2011)

Parameters

v1	1
v2	2

Definition at line 62 of file variable.c.

{
    /*
     * if(v1==NULL&&v2==NULL)
     *     return(true);
     * else if (v1==NULL||v2==NULL)
     *     return(false);
     *
     * return(!strcmp(v1,v2));
     */
    return v1==v2;
}

Referenced by base_add_variable(), base_contains_variable_p(), base_find_variable(), sc_base_add_variable(), vect_add_variable(), and vect_contains_variable_p().

Here is the caller graph for this function:

variable_make()

Variable variable_make

(

char *

name

)

Variable variable_make(char * name): defines a new variable of a given name.

Parameters

name

ame

Definition at line 129 of file variable.c.

{
    return((Variable) strdup(name));
}

References strdup().

Referenced by creat_new_var(), and vect_read().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

variable_debug_name

char*(* variable_debug_name) (Variable)

(

Variable

)

= variable_dump_name

Debug support: pointer to the function used by debug print outs.

It can be set to point to other packages' own definition of Value. For instance, entity_local_name() for Linear/C3 Library.

For unit tests within linear, it should be set to point to variable_default_name()

Definition at line 114 of file variable.c.

Referenced by compute_x_and_y_bounds(), dbg_ray_dte_rm(), dbg_sommet_rm(), egalite_dump(), egalites_dump(), inegalite_dump(), inegalites_dump(), init_variable_debug_name(), new_constraint_for_coefficient_reduction_with_bounding_box(), ray_dte_dump(), reduce_coefficients_with_bounding_box(), reset_variable_debug_name(), sc_bounded_normalization(), sc_dump(), small_positive_slope_reduce_coefficients_with_bounding_box(), sommet_dump(), tpips_main(), vect_dump(), and vect_fdump().