PIPS
|
#include <stdio.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
Go to the source code of this file.
Functions | |
void | insert_ineq_begin_sc (Psysteme sc, Pcontrainte ineq) |
This function inserts the constraint ineq at the beginning of the system of inequalities of sc. More... | |
void | insert_2ineq_end_sc (Psysteme sc, Pcontrainte ineq) |
This function inserts two constraints ineq and ineq->succ at the end of the system of inequalities of sc. More... | |
void | insert_ineq_end_sc (Psysteme sc, Pcontrainte ineq) |
This function inserts one constraint ineq at the end of the system of inequalities of sc. More... | |
Psysteme | sc_equation_add (Psysteme sc, Pcontrainte c) |
The basis of the constraint system is updated. More... | |
Psysteme | sc_inequality_add (Psysteme sc, Pcontrainte c) |
Psysteme | sc_constraint_add (Psysteme sc, Pcontrainte c, bool equality) |
void insert_2ineq_end_sc | ( | Psysteme | sc, |
Pcontrainte | ineq | ||
) |
This function inserts two constraints ineq and ineq->succ at the end of the system of inequalities of sc.
Definition at line 54 of file sc_insert_eq.c.
References contrainte_dup(), CONTRAINTE_UNDEFINED_P, and Scontrainte::succ.
Referenced by bound_distribution().
void insert_ineq_begin_sc | ( | Psysteme | sc, |
Pcontrainte | ineq | ||
) |
This function inserts the constraint ineq at the beginning of the system of inequalities of sc.
Definition at line 40 of file sc_insert_eq.c.
References contrainte_dup(), and Scontrainte::succ.
Referenced by bound_distribution(), and loop_basic_workchunk_to_workchunk().
void insert_ineq_end_sc | ( | Psysteme | sc, |
Pcontrainte | ineq | ||
) |
This function inserts one constraint ineq at the end of the system of inequalities of sc.
Definition at line 81 of file sc_insert_eq.c.
References contrainte_dup(), CONTRAINTE_UNDEFINED_P, and Scontrainte::succ.
Referenced by constraint_distribution(), and converti_psysmin_psysmax().
Psysteme sc_constraint_add | ( | Psysteme | sc, |
Pcontrainte | c, | ||
bool | equality | ||
) |
maintain consistency, although it's expensive; how about a sc_update_base function? Or a proper sc_add_inegalite function?
Definition at line 115 of file sc_insert_eq.c.
References Ssysteme::base, base_dimension, base_rm, base_union(), Ssysteme::dimension, sc_add_egalite(), sc_add_inegalite(), sc_creer_base(), and VECTEUR_NUL.
Referenced by c_convex_effects_on_actual_parameter_forward_translation(), efficient_sc_check_inequality_feasibility(), expression_less_than_in_context(), sc_equation_add(), sc_inequality_add(), and transformer_constraint_add().
Psysteme sc_equation_add | ( | Psysteme | sc, |
Pcontrainte | c | ||
) |
The basis of the constraint system is updated.
If not, see sc_add_egalite()
Definition at line 101 of file sc_insert_eq.c.
References sc_constraint_add().
Referenced by transformer_add_variable_incrementation(), transformer_convex_hulls(), transformer_derivative_constraints(), transformer_derivative_fix_point(), transformer_list_generic_transitive_closure(), and translate_global_value().
Psysteme sc_inequality_add | ( | Psysteme | sc, |
Pcontrainte | c | ||
) |
Definition at line 108 of file sc_insert_eq.c.
References sc_constraint_add().
Referenced by check_range_wrt_precondition(), and transformer_convex_hulls().