PIPS
|
#include <stdio.h>
#include <string.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
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... | |
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.
References variable_debug_name.
void reset_variable_debug_name | ( | void | ) |
Definition at line 121 of file variable.c.
References variable_debug_name, and variable_dump_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.
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().
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:
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.
References buffer.
Referenced by fprint_message(), main(), mk_rn(), reset_variable_debug_name(), sg_dump(), and sg_without_line().
package vecteur - routines sur les variables
variable.c
Francois Irigoin
Notes:
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:
v1 | 1 |
v2 | 2 |
Definition at line 62 of file variable.c.
Referenced by base_add_variable(), base_contains_variable_p(), base_find_variable(), sc_base_add_variable(), vect_add_variable(), and vect_contains_variable_p().
Variable variable_make | ( | char * | name | ) |
Variable variable_make(char * name): defines a new variable of a given name.
name | ame |
Definition at line 129 of file variable.c.
References strdup().
Referenced by creat_new_var(), and vect_read().
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().