PIPS
|
#include <string.h>
#include <stdio.h>
#include <stdlib.h>
#include "linear_assert.h"
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
Go to the source code of this file.
Macros | |
#define | MALLOC(s, t, f) malloc(s) |
package sc More... | |
#define | FREE(p, t, f) free(p) |
Functions | |
Variable | creat_new_var (Psysteme ps) |
char * noms_var(int i): cette fonction convertit un numero de variable en chaine de caracteres More... | |
bool | var_in_lcontrainte_p (Pcontrainte pc, Variable var) |
Check if variable var appears in at least on of the constraints in constraint list pc with a non-zero coefficient. More... | |
bool | var_in_sc_p (Psysteme sc, Variable var) |
bool var_in_sc_p(Psysteme sc, Variable var) Cette fonction teste si la variable est contrainte par les egalites ou les inegalites More... | |
char * noms_var(int i): cette fonction convertit un numero de variable en chaine de caracteres
resultat retourne par la fonction :
char * : chaine de caracteres associee au numero de variable
Les parametres de la fonction :
int i : numero de variable du systeme
FI: a regarder et a commenter et a transferer dans base.dir; pourrait-etre un variable_default_name()? Ou integer_default_name()?
FI: suppression avec le passage a char * du type Variable Variable creat_new_var(Psysteme ps): creation d'une nouvelle variable v pour le systeme ps; les champs "base" et "dimension" sont mis a jour et la nouvelle variable est renvoyee.
Le nom de la nouvelle variable v est de la forme "Xnnn" ou nnn represente son rang dans la base "ps->base"
Auteur: Corinne Ancourt
Modifications:
Definition at line 102 of file sc_var.c.
References assert, and variable_make().
Referenced by add_var_sup(), loop_index_domaine_to_contrainte(), mat_sys_conv(), matrices_to_loop_sc(), matrices_to_sc(), var_ecart_sup(), and var_posit().
bool var_in_lcontrainte_p | ( | Pcontrainte | pc, |
Variable | var | ||
) |
Check if variable var appears in at least on of the constraints in constraint list pc with a non-zero coefficient.
Definition at line 122 of file sc_var.c.
References CONTRAINTE_UNDEFINED_P, Scontrainte::succ, vect_coeff(), and Scontrainte::vecteur.
Referenced by var_in_sc_p().
bool var_in_sc_p(Psysteme sc, Variable var) Cette fonction teste si la variable est contrainte par les egalites ou les inegalites
Definition at line 139 of file sc_var.c.
References var_in_lcontrainte_p().
Referenced by var_with_unity_coeff_p().