list gen_dg_arc_label_cons(dg_arc_label p, list l)
sccflags copy_sccflags(sccflags p)
SCCFLAGS.
bool dg_vertex_label_consistent_p(dg_vertex_label p)
dg_arc_label make_dg_arc_label(list a)
void sccflags_assign_contents(sccflags r, sccflags v)
list gen_cone_cons(cone p, list l)
void cone_non_recursive_free(cone p)
void sccs_assign_contents(sccs r, sccs v)
void write_dg_vertex_label(FILE *f, dg_vertex_label p)
void scc_assign_contents(scc r, scc v)
void free_conflict(conflict p)
conflict make_conflict(effect a1, effect a2, cone a3)
bool sccflags_defined_p(sccflags p)
sccflags read_sccflags(FILE *f)
bool conflict_defined_p(conflict p)
list gen_dg_vertex_label_cons(dg_vertex_label p, list l)
bool dg_arc_label_defined_p(dg_arc_label p)
void write_sccflags(FILE *f, sccflags p)
dg_arc_label read_dg_arc_label(FILE *f)
bool scc_defined_p(scc p)
conflict check_conflict(conflict p)
void free_dg_arc_label(dg_arc_label p)
void conflict_non_recursive_free(conflict p)
dg_arc_label check_dg_arc_label(dg_arc_label p)
conflict copy_conflict(conflict p)
CONFLICT.
void dg_arc_label_non_recursive_free(dg_arc_label p)
bool cone_defined_p(cone p)
bool dg_arc_label_consistent_p(dg_arc_label p)
bool sccflags_consistent_p(sccflags p)
sccs copy_sccs(sccs p)
SCCS.
void write_conflict(FILE *f, conflict p)
list gen_scc_cons(scc p, list l)
void dg_arc_label_assign_contents(dg_arc_label r, dg_arc_label v)
cone make_cone(list a1, Ptsg a2)
void conflict_assign_contents(conflict r, conflict v)
void sccs_non_recursive_free(sccs p)
void scc_non_recursive_free(scc p)
void write_scc(FILE *f, scc p)
void write_dg_arc_label(FILE *f, dg_arc_label p)
void dg_vertex_label_non_recursive_free(dg_vertex_label p)
bool conflict_consistent_p(conflict p)
void cone_assign_contents(cone r, cone v)
conflict read_conflict(FILE *f)
bool dg_vertex_label_defined_p(dg_vertex_label p)
list gen_sccflags_cons(sccflags p, list l)
dg_vertex_label read_dg_vertex_label(FILE *f)
dg_vertex_label make_dg_vertex_label(intptr_t a1, sccflags a2)
sccflags make_sccflags(scc a1, intptr_t a2, intptr_t a3, intptr_t a4)
scc make_scc(list a1, intptr_t a2)
cone copy_cone(cone p)
CONE.
void free_dg_vertex_label(dg_vertex_label p)
list gen_conflict_cons(conflict p, list l)
void dg_vertex_label_assign_contents(dg_vertex_label r, dg_vertex_label v)
bool cone_consistent_p(cone p)
dg_arc_label copy_dg_arc_label(dg_arc_label p)
DG_ARC_LABEL.
void write_cone(FILE *f, cone p)
sccflags check_sccflags(sccflags p)
dg_vertex_label copy_dg_vertex_label(dg_vertex_label p)
DG_VERTEX_LABEL.
void sccflags_non_recursive_free(sccflags p)
list gen_sccs_cons(sccs p, list l)
bool sccs_defined_p(sccs p)
void free_sccflags(sccflags p)
dg_vertex_label check_dg_vertex_label(dg_vertex_label p)
bool scc_consistent_p(scc p)
void write_sccs(FILE *f, sccs p)
bool sccs_consistent_p(sccs p)
#define sccflags_domain
newgen_dg_vertex_label_domain_defined
#define SCCFLAGS_NEWGEN_DOMAIN
#define dg_arc_label_domain
newgen_conflict_domain_defined
#define DG_ARC_LABEL_NEWGEN_DOMAIN
#define CONFLICT_NEWGEN_DOMAIN
#define SCCS_NEWGEN_DOMAIN
#define conflict_domain
newgen_cone_domain_defined
#define DG_VERTEX_LABEL_NEWGEN_DOMAIN
#define sccs_domain
newgen_sccflags_domain_defined
#define scc_domain
newgen_sccs_domain_defined
#define CONE_NEWGEN_DOMAIN
#define dg_vertex_label_domain
newgen_dg_arc_label_domain_defined
#define SCC_NEWGEN_DOMAIN
#define cone_domain
newgen_Ptsg_domain_defined
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])
The structure used to build lists in NewGen.
Representation d'un systeme generateur par trois ensembles de sommets de rayons et de droites.
A gen_chunk is used to store every object.