PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "complexity_ri.h"
Go to the source code of this file.
Typedefs | |
typedef void * | Ppolynome |
typedef void* Ppolynome |
Definition at line 7 of file complexity_ri.c.
complexity check_complexity | ( | complexity | p | ) |
Definition at line 24 of file complexity_ri.c.
References complexity_domain, and gen_check().
Definition at line 66 of file complexity_ri.c.
References gen_check(), and ifcount_domain.
rangecount check_rangecount | ( | rangecount | p | ) |
Definition at line 108 of file complexity_ri.c.
References gen_check(), and rangecount_domain.
Definition at line 150 of file complexity_ri.c.
References gen_check(), and varcount_domain.
void complexity_assign_contents | ( | complexity | r, |
complexity | v | ||
) |
Definition at line 37 of file complexity_ri.c.
References check_complexity(), complexity_defined_p(), and message_assert.
bool complexity_consistent_p | ( | complexity | p | ) |
Definition at line 27 of file complexity_ri.c.
References check_complexity(), and gen_consistent_p().
bool complexity_defined_p | ( | complexity | p | ) |
Definition at line 31 of file complexity_ri.c.
References gen_defined_p().
void complexity_non_recursive_free | ( | complexity | p | ) |
Definition at line 44 of file complexity_ri.c.
References free().
complexity copy_complexity | ( | complexity | p | ) |
COMPLEXITY.
Definition at line 18 of file complexity_ri.c.
References gen_copy_tree().
IFCOUNT.
Definition at line 60 of file complexity_ri.c.
References gen_copy_tree().
rangecount copy_rangecount | ( | rangecount | p | ) |
RANGECOUNT.
Definition at line 102 of file complexity_ri.c.
References gen_copy_tree().
VARCOUNT.
Definition at line 144 of file complexity_ri.c.
References gen_copy_tree().
void free_complexity | ( | complexity | p | ) |
Definition at line 21 of file complexity_ri.c.
References gen_free().
void free_ifcount | ( | ifcount | p | ) |
Definition at line 63 of file complexity_ri.c.
References gen_free().
void free_rangecount | ( | rangecount | p | ) |
Definition at line 105 of file complexity_ri.c.
References gen_free().
void free_varcount | ( | varcount | p | ) |
Definition at line 147 of file complexity_ri.c.
References gen_free().
list gen_complexity_cons | ( | complexity | p, |
list | l | ||
) |
Definition at line 34 of file complexity_ri.c.
References COMPLEXITY_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 76 of file complexity_ri.c.
References gen_typed_cons(), and IFCOUNT_NEWGEN_DOMAIN.
list gen_rangecount_cons | ( | rangecount | p, |
list | l | ||
) |
Definition at line 118 of file complexity_ri.c.
References gen_typed_cons(), and RANGECOUNT_NEWGEN_DOMAIN.
Definition at line 160 of file complexity_ri.c.
References gen_typed_cons(), and VARCOUNT_NEWGEN_DOMAIN.
Definition at line 79 of file complexity_ri.c.
References check_ifcount(), ifcount_defined_p(), and message_assert.
Definition at line 69 of file complexity_ri.c.
References check_ifcount(), and gen_consistent_p().
Definition at line 73 of file complexity_ri.c.
References gen_defined_p().
void ifcount_non_recursive_free | ( | ifcount | p | ) |
Definition at line 86 of file complexity_ri.c.
References free().
complexity make_complexity | ( | Ppolynome | a1, |
varcount | a2, | ||
rangecount | a3, | ||
ifcount | a4 | ||
) |
Definition at line 54 of file complexity_ri.c.
References complexity_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Definition at line 96 of file complexity_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and ifcount_domain.
rangecount make_rangecount | ( | intptr_t | a1, |
intptr_t | a2, | ||
intptr_t | a3, | ||
intptr_t | a4 | ||
) |
Definition at line 138 of file complexity_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and rangecount_domain.
Definition at line 180 of file complexity_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and varcount_domain.
void rangecount_assign_contents | ( | rangecount | r, |
rangecount | v | ||
) |
Definition at line 121 of file complexity_ri.c.
References check_rangecount(), message_assert, and rangecount_defined_p().
bool rangecount_consistent_p | ( | rangecount | p | ) |
Definition at line 111 of file complexity_ri.c.
References check_rangecount(), and gen_consistent_p().
bool rangecount_defined_p | ( | rangecount | p | ) |
Definition at line 115 of file complexity_ri.c.
References gen_defined_p().
void rangecount_non_recursive_free | ( | rangecount | p | ) |
Definition at line 128 of file complexity_ri.c.
References free().
complexity read_complexity | ( | FILE * | f | ) |
Definition at line 51 of file complexity_ri.c.
References f(), and gen_read().
ifcount read_ifcount | ( | FILE * | f | ) |
Definition at line 93 of file complexity_ri.c.
References f(), and gen_read().
rangecount read_rangecount | ( | FILE * | f | ) |
Definition at line 135 of file complexity_ri.c.
References f(), and gen_read().
varcount read_varcount | ( | FILE * | f | ) |
Definition at line 177 of file complexity_ri.c.
References f(), and gen_read().
Definition at line 163 of file complexity_ri.c.
References check_varcount(), message_assert, and varcount_defined_p().
Definition at line 153 of file complexity_ri.c.
References check_varcount(), and gen_consistent_p().
Definition at line 157 of file complexity_ri.c.
References gen_defined_p().
void varcount_non_recursive_free | ( | varcount | p | ) |
Definition at line 170 of file complexity_ri.c.
References free().
void write_complexity | ( | FILE * | f, |
complexity | p | ||
) |
Definition at line 48 of file complexity_ri.c.
References f(), and gen_write().
void write_ifcount | ( | FILE * | f, |
ifcount | p | ||
) |
Definition at line 90 of file complexity_ri.c.
References f(), and gen_write().
void write_rangecount | ( | FILE * | f, |
rangecount | p | ||
) |
Definition at line 132 of file complexity_ri.c.
References f(), and gen_write().
void write_varcount | ( | FILE * | f, |
varcount | p | ||
) |
Definition at line 174 of file complexity_ri.c.
References f(), and gen_write().