rtype copy_rtype(rtype p)
RTYPE.
rtype check_rtype(rtype p)
bool rtype_consistent_p(rtype p)
bool context_info_defined_p(context_info p)
void rtype_non_recursive_free(rtype p)
ref_temp make_ref_temp(intptr_t a1, rtype a2)
list gen_comp_desc_set_cons(comp_desc_set p, list l)
bool comp_desc_set_defined_p(comp_desc_set p)
bool ref_temp_consistent_p(ref_temp p)
rtype make_rtype(enum rtype_utype tag, void *val)
rtype read_rtype(FILE *f)
list gen_comp_desc_cons(comp_desc p, list l)
void context_info_assign_contents(context_info r, context_info v)
bound_pair check_bound_pair(bound_pair p)
void comp_sec_assign_contents(comp_sec r, comp_sec v)
bool simple_section_consistent_p(simple_section p)
void free_context_info(context_info p)
comp_desc check_comp_desc(comp_desc p)
context_info read_context_info(FILE *f)
void comp_desc_non_recursive_free(comp_desc p)
list gen_bound_pair_cons(bound_pair p, list l)
void write_comp_desc_set(FILE *f, comp_desc_set p)
rtype make_rtype_nonlinear(void)
void simple_section_assign_contents(simple_section r, simple_section v)
comp_desc_set check_comp_desc_set(comp_desc_set p)
bool comp_sec_defined_p(comp_sec p)
bool rtype_defined_p(rtype p)
list gen_dad_struct_cons(dad_struct p, list l)
context_info check_context_info(context_info p)
rtype make_rtype_linvariant(void)
void write_comp_desc(FILE *f, comp_desc p)
void write_dad_struct(FILE *f, dad_struct p)
context_info copy_context_info(context_info p)
CONTEXT_INFO.
bound_pair make_bound_pair(intptr_t a1, Pvecteur a2, Pvecteur a3)
comp_sec check_comp_sec(comp_sec p)
bool bound_pair_consistent_p(bound_pair p)
bool comp_desc_consistent_p(comp_desc p)
void write_rtype(FILE *f, rtype p)
ref_temp read_ref_temp(FILE *f)
list gen_comp_sec_cons(comp_sec p, list l)
bool comp_desc_defined_p(comp_desc p)
void write_bound_pair(FILE *f, bound_pair p)
void rtype_assign_contents(rtype r, rtype v)
void comp_desc_assign_contents(comp_desc r, comp_desc v)
void free_dad_struct(dad_struct p)
bool bound_pair_defined_p(bound_pair p)
comp_desc_set read_comp_desc_set(FILE *f)
comp_desc make_comp_desc(reference a1, action a2, comp_sec a3)
comp_sec read_comp_sec(FILE *f)
ref_temp copy_ref_temp(ref_temp p)
REF_TEMP.
bool comp_sec_consistent_p(comp_sec p)
list gen_rtype_cons(rtype p, list l)
void free_ref_temp(ref_temp p)
list gen_simple_section_cons(simple_section p, list l)
bool simple_section_defined_p(simple_section p)
simple_section copy_simple_section(simple_section p)
SIMPLE_SECTION.
simple_section check_simple_section(simple_section p)
void write_simple_section(FILE *f, simple_section p)
comp_sec copy_comp_sec(comp_sec p)
COMP_SEC.
simple_section make_simple_section(context_info a1, dad_struct a2)
context_info make_context_info(intptr_t a1, intptr_t a2, intptr_t a3)
comp_desc_set make_comp_desc_set(list a)
void bound_pair_non_recursive_free(bound_pair p)
bound_pair read_bound_pair(FILE *f)
bool dad_struct_defined_p(dad_struct p)
list gen_context_info_cons(context_info p, list l)
void write_comp_sec(FILE *f, comp_sec p)
void dad_struct_non_recursive_free(dad_struct p)
bool comp_desc_set_consistent_p(comp_desc_set p)
void free_bound_pair(bound_pair p)
void comp_sec_non_recursive_free(comp_sec p)
void write_ref_temp(FILE *f, ref_temp p)
bool dad_struct_consistent_p(dad_struct p)
comp_desc copy_comp_desc(comp_desc p)
COMP_DESC.
void write_context_info(FILE *f, context_info p)
void free_comp_desc(comp_desc p)
void ref_temp_assign_contents(ref_temp r, ref_temp v)
bool context_info_consistent_p(context_info p)
dad_struct make_dad_struct(list a1, list a2)
void context_info_non_recursive_free(context_info p)
void bound_pair_assign_contents(bound_pair r, bound_pair v)
bound_pair copy_bound_pair(bound_pair p)
BOUND_PAIR.
void comp_desc_set_non_recursive_free(comp_desc_set p)
list gen_ref_temp_cons(ref_temp p, list l)
bool ref_temp_defined_p(ref_temp p)
void comp_desc_set_assign_contents(comp_desc_set r, comp_desc_set v)
void free_comp_desc_set(comp_desc_set p)
string rtype_tag_as_string(enum rtype_utype tag)
comp_sec make_comp_sec(simple_section a1, list a2)
void ref_temp_non_recursive_free(ref_temp p)
comp_desc read_comp_desc(FILE *f)
dad_struct copy_dad_struct(dad_struct p)
DAD_STRUCT.
void free_comp_sec(comp_sec p)
void dad_struct_assign_contents(dad_struct r, dad_struct v)
dad_struct read_dad_struct(FILE *f)
ref_temp check_ref_temp(ref_temp p)
simple_section read_simple_section(FILE *f)
void simple_section_non_recursive_free(simple_section p)
comp_desc_set copy_comp_desc_set(comp_desc_set p)
COMP_DESC_SET.
rtype make_rtype_lininvariant(void)
dad_struct check_dad_struct(dad_struct p)
void free_simple_section(simple_section p)
#define BOUND_PAIR_NEWGEN_DOMAIN
#define CONTEXT_INFO_NEWGEN_DOMAIN
#define RTYPE_NEWGEN_DOMAIN
#define ref_temp_domain
newgen_dad_struct_domain_defined
#define REF_TEMP_NEWGEN_DOMAIN
#define COMP_DESC_SET_NEWGEN_DOMAIN
#define comp_sec_domain
newgen_comp_desc_set_domain_defined
#define comp_desc_domain
newgen_bound_pair_domain_defined
#define context_info_domain
newgen_comp_sec_domain_defined
#define rtype_domain
newgen_ref_temp_domain_defined
#define DAD_STRUCT_NEWGEN_DOMAIN
#define COMP_DESC_NEWGEN_DOMAIN
#define SIMPLE_SECTION_NEWGEN_DOMAIN
#define simple_section_domain
newgen_rtype_domain_defined
#define comp_desc_set_domain
newgen_comp_desc_domain_defined
#define bound_pair_domain
newgen_Pvecteur_domain_defined
#define dad_struct_domain
newgen_context_info_domain_defined
#define COMP_SEC_NEWGEN_DOMAIN
void gen_free(gen_chunk *obj)
version without shared_pointers.
gen_chunk * gen_alloc(int size, int gen_check_p, int dom,...)
allocates something in newgen.
int gen_consistent_p(gen_chunk *obj)
GEN_CONSISTENT_P dynamically checks the type correctness of OBJ.
int gen_defined_p(gen_chunk *obj)
gen_chunk * gen_check(gen_chunk *obj, int t)
GEN_CHECK checks that the gen_chunk received OBJ is of the appropriate TYPE.
gen_chunk * gen_read(FILE *file)
GEN_READ reads any object from the FILE stream.
gen_chunk * gen_copy_tree(gen_chunk *obj)
void gen_write(FILE *fd, gen_chunk *obj)
GEN_WRITE writes the OBJect on the stream FD.
list gen_typed_cons(_int type, const void *item, const list next)
CONS a list with minimal type checking this cannot be done within the CONS macro because possible fun...
#define message_assert(msg, ex)
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
The structure used to build lists in NewGen.
A gen_chunk is used to store every object.