PIPS
|
#include <stdio.h>
#include <string.h>
#include <stdlib.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 | |
Psysteme | sc_oppose (Psysteme ps) |
package sc More... | |
package sc
Psysteme sc_oppose(Psysteme ps): calcul, pour un systeme de contraintes sans egalites, du systeme de contraintes dont les inegalites sont les negations des inegalites originelles; attention, cela ne calcule pas le complementaire, qui n'est d'aileurs pas un polyedre!
Pour chaque inegalite de, AX <= B, on construit une inegalites "opposee" AX > B approximee par -AX <= -B
Un systeme non trivial risque fort d'etre transforme en systeme non faisable. For instance, -1<=x<=1 is changed into 1<=-x<=-1.
The function aborts if ps contains equalities.
The constraint system ps is modified by side effect and returned. No new system is allocated.
Definition at line 58 of file sc_oppose.c.
References abort, eq, fprintf(), Scontrainte::succ, VALUE_MONE, vect_multiply(), and Scontrainte::vecteur.