plsomvb-test.c File Reference

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

Include dependency graph for plsomvb-test.c:

Go to the source code of this file.

Macros
#define	MALLOC(s, t, f)   malloc(s)

Functions
char *	malloc ()
bool	const_negative (Psommet som)
bool	test_borne (Psommet eq)
bool	cout_nul (Psommet fonct, Pvecteur lvbase, int nbvars, Pbase b)

Macro Definition Documentation

MALLOC

#define MALLOC	(		s,
			t,
			f
	)		malloc(s)

Definition at line 40 of file plsomvb-test.c.

Function Documentation

const_negative()

bool const_negative

(

Psommet

som

)

Definition at line 57 of file plsomvb-test.c.

{
    Psommet ps;
    bool result = false;
 
    for (ps = som;
         ps!= NULL && value_negz_p(vect_coeff(TCST,ps->vecteur));
         ps= ps->succ);
    result = (ps == NULL) ? false : true;
    return (result);
}

References typ_som::succ, TCST, value_negz_p, vect_coeff(), and typ_som::vecteur.

Referenced by plint_pas().

Here is the call graph for this function:

Here is the caller graph for this function:

cout_nul()

bool cout_nul	(	Psommet	fonct,
		Pvecteur	lvbase,
		int	nbvars,
		Pbase	b
	)

liste des variables h.base de cout nul

Definition at line 127 of file plsomvb-test.c.

{
    Pvecteur liste1 = NULL;             /* liste des variables h.base de cout nul */
    Pvecteur pv=NULL;
    Pvecteur pv2=VECTEUR_NUL;
    register int i;
    bool result= false;
 
#ifdef TRACE
    printf(" ** Gomory - existe-t-il une var. h.base de cout  nul  \n");
#endif
 
    liste1 = vect_new(vecteur_var(b),VALUE_ONE);
    for (i = 1 ,pv2 = b->succ;
         i< nbvars && !VECTEUR_NUL_P(pv2); 
         i++, pv2=pv2->succ)
        vect_add_elem (&(liste1),vecteur_var(pv2),VALUE_ONE);
    if (fonct != NULL)
        for (pv = fonct->vecteur;pv != NULL;pv=pv->succ)
            if (value_notzero_p(pv->val))
                vect_chg_coeff(&liste1,pv->var,0);
                
    for (pv = lvbase;pv != NULL;pv=pv->succ)
        if (value_notzero_p(pv->val))
            vect_chg_coeff(&liste1,pv->var,0);
    result = (liste1 != NULL) ? true : false;
 
    vect_rm(liste1);
    return (result);
 
}

References printf(), Svecteur::succ, Svecteur::val, value_notzero_p, VALUE_ONE, Svecteur::var, vect_add_elem(), vect_chg_coeff(), vect_new(), vect_rm(), VECTEUR_NUL, VECTEUR_NUL_P, and vecteur_var.

Referenced by plint_pas().

Here is the call graph for this function:

Here is the caller graph for this function:

malloc()

char* malloc

(

)

test_borne()

bool test_borne

(

Psommet

eq

)

Definition at line 87 of file plsomvb-test.c.

{
    Pvecteur pv = NULL;
    bool result= false;
 
    if (eq) {
        pv = eq->vecteur;
        if (value_pos_p(vect_coeff(TCST,pv)))
        {
            for (pv= eq->vecteur;pv!= NULL 
                 && ((pv->var ==NULL) || value_pos_p(pv->val))
                 ;pv= pv->succ);
            result = (pv==NULL) ? false : true;
        }
        else result = true;
    }
    return (result);
 
}

References eq, Svecteur::succ, TCST, Svecteur::val, value_pos_p, Svecteur::var, vect_coeff(), and Scontrainte::vecteur.

Referenced by gomory_eq().

Here is the call graph for this function:

Here is the caller graph for this function: