PIPS
|
#include "arithmetique.h"
Go to the source code of this file.
Data Structures | |
struct | Ssysteme |
Macros | |
#define | SYSTEME 1001 |
package sc sur les Systemes de Contraintes lineaires. More... | |
Typedefs | |
typedef struct Ssysteme * | Psysteme |
typedef struct Ssysteme | Ssysteme |
#define SYSTEME 1001 |
package sc sur les Systemes de Contraintes lineaires.
Une contrainte peut etre une egalite lineaire ou une inegalite lineaire
Malik Imadache, Corinne Ancourt, Neil Butler, Francois Irigoin, Remi Triolet
Autres packages necessaires:
Modifications:
Definition at line 47 of file sc-local.h.