sc_insert_eq.c File Reference

#include <stdio.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"

Include dependency graph for sc_insert_eq.c:

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)

Function Documentation

insert_2ineq_end_sc()

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.

{
    Pcontrainte pc;
 
    if (CONTRAINTE_UNDEFINED_P(sc->inegalites)){
        sc->inegalites=contrainte_dup(ineq);
        (sc->inegalites)->succ = contrainte_dup(ineq->succ);
    }
    else {
        for (pc = sc->inegalites; 
             !CONTRAINTE_UNDEFINED_P(pc->succ); 
             pc=pc->succ);
        pc->succ = contrainte_dup(ineq);
        pc = pc->succ;
        pc->succ = contrainte_dup(ineq->succ);
    }
    sc->nb_ineq +=2;
}

References contrainte_dup(), CONTRAINTE_UNDEFINED_P, and Scontrainte::succ.

Referenced by bound_distribution().

Here is the call graph for this function:

Here is the caller graph for this function:

insert_ineq_begin_sc()

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.

{
    Pcontrainte ineg;
    ineg = contrainte_dup(ineq);
    ineg->succ = sc->inegalites;
    sc->inegalites = ineg;                  
    sc->nb_ineq ++;
}

References contrainte_dup(), and Scontrainte::succ.

Referenced by bound_distribution(), and loop_basic_workchunk_to_workchunk().

Here is the call graph for this function:

Here is the caller graph for this function:

insert_ineq_end_sc()

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.

{
    Pcontrainte pc;
 
    if (CONTRAINTE_UNDEFINED_P(sc->inegalites)){
        sc->inegalites=contrainte_dup(ineq);
    }
    else {
        for (pc = sc->inegalites; 
             !CONTRAINTE_UNDEFINED_P(pc->succ); 
             pc=pc->succ);
        pc->succ = contrainte_dup(ineq);        
    }
    sc->nb_ineq ++;
}

References contrainte_dup(), CONTRAINTE_UNDEFINED_P, and Scontrainte::succ.

Referenced by constraint_distribution(), and converti_psysmin_psysmax().

Here is the call graph for this function:

Here is the caller graph for this function:

sc_constraint_add()

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.

{
    Pbase old_basis;
    Pbase new_basis;
 
    if(equality)
      sc_add_egalite(sc,c);
    else
      sc_add_inegalite(sc,c);
 
    /* maintain consistency, although it's expensive; how about a
       sc_update_base function? Or a proper sc_add_inegalite function? */
    old_basis = sc->base;
    sc->base = (Pbase) VECTEUR_NUL;
    sc_creer_base(sc);
    new_basis = sc->base;
    sc->base = base_union(old_basis, new_basis);
    sc->dimension = base_dimension(sc->base);
    base_rm(new_basis);
    base_rm(old_basis);
 
    return sc;
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

sc_equation_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.

{
    sc = sc_constraint_add(sc, c, true);
    return sc;
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

sc_inequality_add()

Psysteme sc_inequality_add	(	Psysteme	sc,
		Pcontrainte	c
	)

Definition at line 108 of file sc_insert_eq.c.

{
    sc = sc_constraint_add(sc, c, false);
    return sc;
}

References sc_constraint_add().

Referenced by check_range_wrt_precondition(), and transformer_convex_hulls().

Here is the call graph for this function:

Here is the caller graph for this function: