PIPS
|
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include "linear.h"
#include "genC.h"
#include "ri.h"
#include "effects.h"
#include "complexity_ri.h"
#include "ri-util.h"
#include "pipsdbm.h"
#include "workspace-util.h"
#include "effects-util.h"
#include "misc.h"
#include "matrice.h"
#include "complexity.h"
Go to the source code of this file.
Functions | |
char * | variable_name (Variable var) |
polynome_ri.c More... | |
char * | variable_local_name (Variable var) |
bool | is_inferior_var (Variable var1, Variable var2) |
int | is_inferior_varval (Pvecteur varval1, Pvecteur varval2) |
int | is_inferior_pvarval (Pvecteur *pvarval1, Pvecteur *pvarval2) |
Variable | name_to_variable (char *name) |
Variable | local_name_to_variable (char *name) |
pvarval1 | varval1 |
pvarval2 | varval2 |
Definition at line 149 of file polynome_ri.c.
References entity_name, term_cst, variable_local_name(), and vecteur_var.
Referenced by complexity_sprint(), prp(), and translate_complexity_from_local_to_current_name().
var1 | ar1 |
var2 | ar2 |
Definition at line 118 of file polynome_ri.c.
References TCST, and variable_local_name().
Referenced by is_inferior_monome(), polynome_fprint(), polynome_sort(), polynome_sprint(), and polynome_used_var().
varval1 | arval1 |
varval2 | arval2 |
Definition at line 134 of file polynome_ri.c.
References term_cst, variable_local_name(), and vecteur_var.
Variable local_name_to_variable | ( | char * | name | ) |
name | ame |
Definition at line 194 of file polynome_ri.c.
References chunk_undefined, entity_domain, entity_undefined, gen_find_tabulated(), make_entity_fullname(), TCST, TCST_NAME, and user_warning.
Variable name_to_variable | ( | char * | name | ) |
name | ame |
Definition at line 172 of file polynome_ri.c.
References chunk_undefined, entity_domain, entity_undefined, gen_find_tabulated(), TCST, TCST_NAME, and user_warning.
Referenced by polynome_sscanf(), and translate_complexity_from_local_to_current_name().
char* variable_local_name | ( | Variable | var | ) |
var | ar |
Definition at line 95 of file polynome_ri.c.
References chunk_undefined, entity_minimal_name(), pips_internal_error, strdup(), TCST, and TCST_NAME.
Referenced by complexity_sprint(), final_statement_to_complexity_evaluation(), is_inferior_pvarval(), is_inferior_var(), and is_inferior_varval().
char* variable_name | ( | Variable | var | ) |
This file gathers some functions interfacing polynomial library and the RI.
The "Variable" type used by polynomials is casted to "entity", the "Value" type, to int.
char *variable_name(Variable var) return the complete name of the entity var
char *variable_local_name(Variable var) return the abbreviated, local name of var
bool is_inferior_var(Variable var1, var2) return true if the complete name of var1 is lexicographically before var2's one.
Variable name_to_variable(char *name) inverse function of variable_name. name must be the complete name of the variable. Modif: – entity_local_name is replaced by module_local_name. LZ 230993
FI: no longer useful
var | ar |
Definition at line 73 of file polynome_ri.c.
References chunk_undefined, entity_name, malloc(), pips_internal_error, strdup(), TCST, and TCST_NAME.
Referenced by add_parameter_variable_to_module(), add_private_variable_to_module(), adg_contrainte_fprint(), adg_egalite_fprint(), adg_inegalite_fprint(), adg_vecteur_fprint(), base_find_variable_name(), base_find_variable_rank(), base_fprint(), complexity_sprint(), complexity_var_subst(), contrainte_fprint(), contrainte_sprint(), contrainte_sprint_format(), contrainte_text_format(), contrainte_to_text_1(), contrainte_to_text_2(), contrainte_translate(), contraintes_text_format(), egalite_fprint(), egalite_sprint(), egalite_sprint_format(), egalite_text_format(), egalites_fprint(), egalites_to_matrice(), fprint_contrainte_vecteur(), generate_variable_with_unique_name_to_module(), generic_make_entity_copy_with_new_name(), heuristique_1(), heuristique_3(), inegalite_fprint(), inegalite_sprint(), inegalite_sprint_format(), inegalite_text_format(), inegalites_fprint(), make_new_derived_entity_with_prefix(), make_new_scalar_variable_with_prefix(), make_variable_from_name_and_entity(), monome_fprint(), monome_sprint(), polynome_fprint(), polynome_sprint(), print_homogeneous_arguments(), prp(), prv(), pu_contrainte_fprint(), pu_egalite_fprint(), pu_inegalite_fprint(), pvecteur_to_polynome(), relation_to_string(), replace_formal_parameters_by_real_ones(), sc_strong_normalize4(), sc_strong_normalize5(), sc_strong_normalize_and_check_feasibility2(), sc_translate(), sc_variables_rename(), signed_operation_to_textline(), system_sorted_text_format(), system_text_format(), translate_complexity_from_local_to_current_name(), unsigned_operation_to_textline(), vect_fprint(), vect_fprint_as_monome(), vect_print(), vect_rename(), vect_sprint_as_monome(), vect_translate(), and vecteur_fprint().