sc-local.h File Reference
#include "arithmetique.h"
Include dependency graph for sc-local.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 |
Macro Definition Documentation
◆ SYSTEME
| #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:
- types.h
- boolean.h
- vecteur.h
- contrainte.h
Modifications:
- redefinition de la structure "Ssysteme"; le champ "nbvars" est renomme "dimension"; il reste de type "int"; le champ "num_var" est remplace par un champ "base" de type "Pbase"; le champ "base" ne contient pas le terme constant; FI, 13/12/89; constante definissant le type Systeme
Definition at line 47 of file sc-local.h.
