25 #include "pips_config.h"
struct _newgen_struct_entity_ * entity
void sc_syst_debug(Psysteme s)
constraint_to_text.c
#define debug_region_consistency(reg)
#define region_system(reg)
#define region_empty_p(reg)
void project_regions_with_transformer(list, transformer, list)
void region_sc_append(effect, Psysteme, bool)
void project_regions_with_transformer_inverse(list, transformer, list)
void region_exact_projection_along_parameters(effect, list)
list convex_regions_precondition_compose(list, transformer, bool)
list convex_regions_transformer_compose(list, transformer)
compose.c
list convex_regions_inverse_transformer_compose(list, transformer)
#define pips_debug_effect(level, message, eff)
for debug
bool store_effect_p(effect)
bool effect_scalar_p(effect)
#define descriptor_convex_p(x)
#define effect_descriptor(x)
#define descriptor_convex(x)
#define NIL
The empty list (nil in Lisp)
#define CONS(_t_, _i_, _l_)
List element cell constructor (insert an element at the beginning of a list)
void gen_free_list(list l)
free the spine of the list
#define FOREACH(_fe_CASTER, _fe_item, _fe_list)
Apply/map an instruction block on all the elements of a list.
#define pips_debug
these macros use the GNU extensions that allow variadic macros, including with an empty list.
#define pips_assert(what, predicate)
common macros, two flavors depending on NDEBUG
#define transformer_relation(x)
#define predicate_system(x)
bool sc_weak_consistent_p(Psysteme sc)
check that sc is well defined, that the numbers of equalities and inequalities are consistent with th...
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
The structure used to build lists in NewGen.