PIPS
|
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include "linear.h"
#include "genC.h"
#include "text.h"
#include "text-util.h"
#include "properties.h"
#include "misc.h"
#include "ri.h"
#include "ri-util.h"
Go to the source code of this file.
Definition at line 350 of file constraint_to_text.c.
References add_to_current_line(), line, and prefix.
Referenced by contraintes_text_format().
|
static |
Definition at line 70 of file constraint_to_text.c.
References add_to_current_line(), buffer, continuation, and Value_to_string().
Referenced by constante_to_textline(), contrainte_to_text_2(), and unsigned_operation_to_textline().
|
static |
Definition at line 80 of file constraint_to_text.c.
References add_to_current_line(), add_Value_to_current_line(), buffer, continuation, and the_operator().
Referenced by contrainte_to_text_1().
string contrainte_text_format | ( | string | aux_line, |
string | continuation, | ||
text | txt, | ||
Pcontrainte | c, | ||
bool | is_inegalite, | ||
string(*)(Variable) | variable_name, | ||
bool | a_la_fortran, | ||
bool | first_line | ||
) |
aux_line | ux_line |
continuation | ontinuation |
txt | xt |
is_inegalite | s_inegalite |
a_la_fortran | _la_fortran |
first_line | irst_line |
Definition at line 285 of file constraint_to_text.c.
References continuation, contrainte_error(), contrainte_to_text_1(), contrainte_to_text_2(), CONTRAINTE_UNDEFINED_P, contrainte_vecteur, pips_assert, variable_name(), vect_check(), and VECTEUR_NUL.
Referenced by contraintes_text_format(), egalite_text_format(), and inegalite_text_format().
|
static |
on admet plusieurs occurences du terme constant!?!
Definition at line 123 of file constraint_to_text.c.
References buffer, constante_to_textline(), continuation, signed_operation_to_textline(), Svecteur::succ, TCST, unsigned_operation_to_textline(), val_of, value_addto, value_notzero_p, value_pos_p, value_uminus, VALUE_ZERO, var_of, variable_name(), and VECTEUR_NUL_P.
Referenced by contrainte_text_format().
|
static |
FI: does not take into account constant floating point terms.
No easy modification. I give up for the time being. 25 July 2011.
Save the constant term for future use
And now, a lie... In fact, rhs_terms++
Definition at line 178 of file constraint_to_text.c.
References add_to_current_line(), add_Value_to_current_line(), buffer, continuation, entity_constant_p, pips_assert, signed_operation_to_textline(), Svecteur::succ, TCST, term_cst, the_operator(), unsigned_operation_to_textline(), value_neg_p, value_notzero_p, value_pos_p, value_uminus, var_of, variable_name(), vect_chg_sgn(), VECTEUR_NUL_P, vecteur_val, and vecteur_var.
Referenced by contrainte_text_format().
|
static |
prefix | current buffer |
txt | for continuations |
cs | formed text |
variable_name | contraintes to be printed |
invert_put_first | hook for naming a variable |
put_first | whether to invert put_first |
some_previous | whether to put first some constraints |
is_inegalites | whether a separator is needed |
a_la_fortran | egalites or inegalites fortran look? |
Definition at line 356 of file constraint_to_text.c.
References add_separation(), add_to_current_line(), contrainte_text_format(), line, prefix, Scontrainte::succ, variable_name(), and Scontrainte::vecteur.
Referenced by system_sorted_text_format().
void egalite_debug | ( | Pcontrainte | c | ) |
Definition at line 58 of file constraint_to_text.c.
References egalite_fprint(), and entity_local_name().
Referenced by sc_projection_optim_along_vecteur_ofl().
string egalite_text_format | ( | string | aux_line, |
string | continuation, | ||
text | txt, | ||
Pcontrainte | eg, | ||
string(*)(Variable) | variable_name, | ||
bool | a_la_fortran, | ||
bool | first_line | ||
) |
aux_line | ux_line |
continuation | ontinuation |
txt | xt |
eg | g |
a_la_fortran | _la_fortran |
first_line | irst_line |
Definition at line 321 of file constraint_to_text.c.
References continuation, contrainte_text_format(), and variable_name().
void entity_list_text_format | ( | string | line, |
string | continuation, | ||
text | t, | ||
list | le, | ||
const char *(*)(entity) | var_name | ||
) |
appends the list of entity...
le | of entity |
Definition at line 468 of file constraint_to_text.c.
References add_to_current_line(), continuation, entity_undefined_p, FOREACH, free(), gen_length(), gen_qsort_string_cmp(), line, and malloc().
Referenced by text_transformer().
void inegalite_debug | ( | Pcontrainte | c | ) |
Definition at line 53 of file constraint_to_text.c.
References entity_local_name(), and inegalite_fprint().
string inegalite_text_format | ( | string | aux_line, |
string | continuation, | ||
text | txt, | ||
Pcontrainte | ineg, | ||
string(*)() | variable_name, | ||
bool | a_la_fortran, | ||
bool | first_line | ||
) |
Definition at line 335 of file constraint_to_text.c.
References continuation, contrainte_text_format(), and variable_name().
void sc_syst_debug | ( | Psysteme | s | ) |
Definition at line 46 of file constraint_to_text.c.
References entity_local_name(), and sc_fprint().
Referenced by build_and_test_dependence_context(), dependence_cone_positive(), loop_regions_normalize(), region_exact_projection_along_variable(), region_sc_minimal(), regions_may_convex_hull(), regions_must_convex_hull(), sc_projection_optim_along_vecteur_ofl(), TestDependence(), text_transformer(), and unimodular().
|
static |
Definition at line 108 of file constraint_to_text.c.
References add_to_current_line(), buffer, continuation, unsigned_operation_to_textline(), and variable_name().
Referenced by contrainte_to_text_1(), and contrainte_to_text_2().
void system_sorted_text_format | ( | string | line, |
string | prefix, | ||
text | txt, | ||
Psysteme | ps, | ||
string(*)(Variable) | variable_name, | ||
bool(*)(Pvecteur) | put_first, | ||
bool | a_la_fortran | ||
) |
lower level hook for regions.
{
repeat twice: once for first, once for not first.
== / .EQ.
<= / .LE.
}
line | ine |
prefix | refix |
txt | xt |
ps | s |
a_la_fortran | whether to put a constraints ahead |
Definition at line 391 of file constraint_to_text.c.
References add_to_current_line(), contraintes_text_format(), get_string_property(), line, prefix, sc_empty_p(), and variable_name().
Referenced by system_text_format(), text_pointer_value(), text_points_to_relation(), and text_region_no_action().
void system_text_format | ( | string | line, |
string | prefix, | ||
text | txt, | ||
Psysteme | ps, | ||
string(*)(Variable) | variable_name, | ||
bool | a_la_fortran | ||
) |
appends ps to line/txt with prefix continuations.
line | ine |
prefix | refix |
txt | xt |
ps | s |
a_la_fortran | _la_fortran |
Definition at line 453 of file constraint_to_text.c.
References line, prefix, system_sorted_text_format(), and variable_name().
Referenced by text_continuation(), and text_transformer().
Definition at line 63 of file constraint_to_text.c.
Referenced by constante_to_textline(), and contrainte_to_text_2().
|
static |
Definition at line 94 of file constraint_to_text.c.
References ABS, add_to_current_line(), add_Value_to_current_line(), buffer, continuation, TCST, value_notone_p, and variable_name().
Referenced by contrainte_to_text_1(), contrainte_to_text_2(), and signed_operation_to_textline().