PIPS
|
Go to the source code of this file.
Typedefs | |
typedef void * | vertex_label |
typedef void * | arc_label |
typedef void* vertex_label |
Definition at line 26 of file graph.c.
References gen_check(), and graph_domain.
Definition at line 68 of file graph.c.
References gen_check(), and successor_domain.
Definition at line 110 of file graph.c.
References gen_check(), and vertex_domain.
GRAPH.
Definition at line 20 of file graph.c.
References gen_copy_tree().
SUCCESSOR.
Definition at line 62 of file graph.c.
References gen_copy_tree().
VERTEX.
Definition at line 104 of file graph.c.
References gen_copy_tree().
void free_graph | ( | graph | p | ) |
Definition at line 23 of file graph.c.
References gen_free().
void free_successor | ( | successor | p | ) |
Definition at line 65 of file graph.c.
References gen_free().
void free_vertex | ( | vertex | p | ) |
Definition at line 107 of file graph.c.
References gen_free().
Definition at line 36 of file graph.c.
References gen_typed_cons(), and GRAPH_NEWGEN_DOMAIN.
Definition at line 78 of file graph.c.
References gen_typed_cons(), and SUCCESSOR_NEWGEN_DOMAIN.
Definition at line 120 of file graph.c.
References gen_typed_cons(), and VERTEX_NEWGEN_DOMAIN.
Definition at line 39 of file graph.c.
References check_graph(), graph_defined_p(), and message_assert.
Definition at line 29 of file graph.c.
References check_graph(), and gen_consistent_p().
Definition at line 33 of file graph.c.
References gen_defined_p().
void graph_non_recursive_free | ( | graph | p | ) |
Definition at line 56 of file graph.c.
References gen_alloc(), GEN_CHECK_ALLOC, and graph_domain.
Definition at line 98 of file graph.c.
References gen_alloc(), GEN_CHECK_ALLOC, and successor_domain.
vertex make_vertex | ( | vertex_label | a1, |
list | a2 | ||
) |
Definition at line 140 of file graph.c.
References gen_alloc(), GEN_CHECK_ALLOC, and vertex_domain.
graph read_graph | ( | FILE * | f | ) |
Definition at line 53 of file graph.c.
References f(), and gen_read().
successor read_successor | ( | FILE * | f | ) |
vertex read_vertex | ( | FILE * | f | ) |
Definition at line 81 of file graph.c.
References check_successor(), message_assert, and successor_defined_p().
Definition at line 71 of file graph.c.
References check_successor(), and gen_consistent_p().
Definition at line 75 of file graph.c.
References gen_defined_p().
void successor_non_recursive_free | ( | successor | p | ) |
Definition at line 123 of file graph.c.
References check_vertex(), message_assert, and vertex_defined_p().
Definition at line 113 of file graph.c.
References check_vertex(), and gen_consistent_p().
Definition at line 117 of file graph.c.
References gen_defined_p().
void vertex_non_recursive_free | ( | vertex | p | ) |
void write_graph | ( | FILE * | f, |
graph | p | ||
) |
Definition at line 50 of file graph.c.
References f(), and gen_write().
void write_successor | ( | FILE * | f, |
successor | p | ||
) |