PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "interval_graph.h"
Go to the source code of this file.
interval_vertex_label check_interval_vertex_label | ( | interval_vertex_label | p | ) |
Definition at line 22 of file interval_graph.c.
References gen_check(), and interval_vertex_label_domain.
interval_vertex_label copy_interval_vertex_label | ( | interval_vertex_label | p | ) |
INTERVAL_VERTEX_LABEL.
Definition at line 16 of file interval_graph.c.
References gen_copy_tree().
void free_interval_vertex_label | ( | interval_vertex_label | p | ) |
Definition at line 19 of file interval_graph.c.
References gen_free().
list gen_interval_vertex_label_cons | ( | interval_vertex_label | p, |
list | l | ||
) |
Definition at line 32 of file interval_graph.c.
References gen_typed_cons(), and INTERVAL_VERTEX_LABEL_NEWGEN_DOMAIN.
void interval_vertex_label_assign_contents | ( | interval_vertex_label | r, |
interval_vertex_label | v | ||
) |
Definition at line 35 of file interval_graph.c.
References check_interval_vertex_label(), interval_vertex_label_defined_p(), and message_assert.
bool interval_vertex_label_consistent_p | ( | interval_vertex_label | p | ) |
Definition at line 25 of file interval_graph.c.
References check_interval_vertex_label(), and gen_consistent_p().
bool interval_vertex_label_defined_p | ( | interval_vertex_label | p | ) |
Definition at line 29 of file interval_graph.c.
References gen_defined_p().
void interval_vertex_label_non_recursive_free | ( | interval_vertex_label | p | ) |
Definition at line 42 of file interval_graph.c.
References free().
interval_vertex_label make_interval_vertex_label | ( | list | a | ) |
Definition at line 52 of file interval_graph.c.
References gen_alloc(), GEN_CHECK_ALLOC, and interval_vertex_label_domain.
interval_vertex_label read_interval_vertex_label | ( | FILE * | f | ) |
Definition at line 49 of file interval_graph.c.
References f(), and gen_read().
void write_interval_vertex_label | ( | FILE * | f, |
interval_vertex_label | p | ||
) |
Definition at line 46 of file interval_graph.c.
References f(), and gen_write().