sc.h File Reference
#include "arithmetique.h"
Include dependency graph for sc.h:
Go to the source code of this file.
Data Structures | |
| struct | Ssysteme |
Macros | |
| #define | SYSTEME 1001 |
| Warning! Do not modify this file that is automatically generated! More... | |
Typedefs | |
| typedef struct Ssysteme * | Psysteme |
| typedef struct Ssysteme | Ssysteme |
Macro Definition Documentation
◆ SYSTEME
| #define SYSTEME 1001 |
Warning! Do not modify this file that is automatically generated!
Modify src/Libs/sc/sc-local.h instead, to add your own modifications. header file built by cproto sc-local.h 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
