PIPS
|
#include <stdio.h>
#include <stdlib.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"
Go to the source code of this file.
Macros | |
#define | MALLOC(s, t, f) malloc(s) |
package plint More... | |
Functions | |
bool | sys_int_fais (Psysteme sys1) |
bool sys_int_fais(Psysteme sys1): Test de faisabilite d'un systeme lineaire syst1 en nombres entiers par l'algorithme des congruences decroissantes (cf. More... | |
package plint
Definition at line 45 of file sc-fais-int.c.
bool sys_int_fais(Psysteme sys1): Test de faisabilite d'un systeme lineaire syst1 en nombres entiers par l'algorithme des congruences decroissantes (cf.
livre ???, pp. ??? ). Renvoie true si le systeme est satisfiable (i.e. il definit un polyedre convexe non vide), false sinon.
Ce test est exact, mais il est tres couteux en temps CPU.
Le systeme de contrainte syst1 n'est pas modifie
cas ou le systeme est faisable
Definition at line 57 of file sc-fais-int.c.
References Ssysteme::egalites, fonct_min(), Ssysteme::inegalites, plint(), sc_dup(), and sc_rm().
Referenced by sys_int_redond().