47 #define LIN_INVARIANT 2
52 #define LSEC(x,i) GetBoundary(x,i,1)
53 #define USEC(x,i) GetBoundary(x,i,0)
74 typedef unsigned int tRT;
unsigned int tRT
{{ Dad definition
unsigned int tRT
{{ Dad definition
struct Variants tVariants
}}
Svecteur * LinExpr
A linear expression in Pips ; Pvecteur is a pointer.
struct DadComponent DadComp
Simple Section part of DAD An array of type SimpBound struct allocated dynamically based on rank of a...
struct sSimpBound tSS
bounds are retained as high level tree structures to accommodate symbolic information in boundary exp...
OpFlag
used for merging linear expressions
Simple Section part of DAD An array of type SimpBound struct allocated dynamically based on rank of a...
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
The structure used to build lists in NewGen.
bounds are retained as high level tree structures to accommodate symbolic information in boundary exp...