28 #define LIN_INVARIANT 2
33 #define LSEC(x,i) GetBoundary(x,i,1)
34 #define USEC(x,i) GetBoundary(x,i,0)
35 #define PUT_NEST(d,val) context_info_nest(simple_section_context(comp_sec_hull(comp_desc_section(d)))) = val
36 #define GET_NEST(d) context_info_nest(simple_section_context(comp_sec_hull(comp_desc_section(d))))
56 typedef unsigned int tRT;
59 #define LinExpr Pvecteur
102 #define SEQUENTIAL_COMPSEC_SUFFIX ".csec"
103 #define USER_COMPSEC_SUFFIX ".ucsec"
unsigned int tRT
{{ Dad definition
struct Variants tVariants
}}
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...