This graph shows which files directly or indirectly include this file:

Data Structures
struct	_newgen_struct_complexity_

struct	_newgen_struct_ifcount_

struct	_newgen_struct_rangecount_

struct	_newgen_struct_varcount_

Macros
#define	_gen_complexity_ri_start 164

#define	_newgen_statement_domain_defined_

#define	STATEMENT_NEWGEN_DOMAIN (statement_domain)

#define	statement_NEWGEN_DOMAIN (statement_domain)

#define	_newgen_Ppolynome_domain_defined_
	newgen_statement_domain_defined More...

#define	newgen_Ppolynome(p) (p) /*old hack compatible /

#define	PPOLYNOME_NEWGEN_EXTERNAL (_gen_complexity_ri_start+0)

#define	PPOLYNOME_NEWGEN_DOMAIN (PPOLYNOME_NEWGEN_EXTERNAL)

#define	Ppolynome_NEWGEN_DOMAIN (PPOLYNOME_NEWGEN_EXTERNAL)

#define	complexity_domain (_gen_complexity_ri_start+1)
	newgen_Ppolynome_domain_defined More...

#define	_newgen_complexity_domain_defined_

#define	COMPLEXITY_NEWGEN_DOMAIN (complexity_domain)

#define	complexity_NEWGEN_DOMAIN (complexity_domain)

#define	ifcount_domain (_gen_complexity_ri_start+2)
	newgen_complexity_domain_defined More...

#define	_newgen_ifcount_domain_defined_

#define	IFCOUNT_NEWGEN_DOMAIN (ifcount_domain)

#define	ifcount_NEWGEN_DOMAIN (ifcount_domain)

#define	rangecount_domain (_gen_complexity_ri_start+3)
	newgen_ifcount_domain_defined More...

#define	_newgen_rangecount_domain_defined_

#define	RANGECOUNT_NEWGEN_DOMAIN (rangecount_domain)

#define	rangecount_NEWGEN_DOMAIN (rangecount_domain)

#define	varcount_domain (_gen_complexity_ri_start+4)
	newgen_rangecount_domain_defined More...

#define	_newgen_varcount_domain_defined_

#define	VARCOUNT_NEWGEN_DOMAIN (varcount_domain)

#define	varcount_NEWGEN_DOMAIN (varcount_domain)

#define	COMPLEXITY(x) ((complexity)((x).p))
	newgen_varcount_domain_defined More...

#define	complexity_CAST(x) COMPLEXITY(x)

#define	COMPLEXITY_CAST(x) COMPLEXITY(x)

#define	COMPLEXITY_(x) ((x).e)

#define	COMPLEXITY_TYPE complexity

#define	complexity_TYPE complexity

#define	complexity_undefined ((complexity)gen_chunk_undefined)

#define	complexity_undefined_p(x) ((x)==complexity_undefined)

#define	gen_COMPLEXITY_cons gen_complexity_cons

#define	complexity_domain_number(x) ((x)->_type_)

#define	complexity_eval_(x) complexity_eval(x) /*old hack compatible /

#define	complexity_eval(x) ((x)->_complexity_eval_)

#define	complexity_varcount_(x) complexity_varcount(x) /*old hack compatible /

#define	complexity_varcount(x) ((x)->_complexity_varcount_)

#define	complexity_rangecount_(x) complexity_rangecount(x) /*old hack compatible /

#define	complexity_rangecount(x) ((x)->_complexity_rangecount_)

#define	complexity_ifcount_(x) complexity_ifcount(x) /*old hack compatible /

#define	complexity_ifcount(x) ((x)->_complexity_ifcount_)

#define	IFCOUNT(x) ((ifcount)((x).p))
	IFCOUNT. More...

#define	ifcount_CAST(x) IFCOUNT(x)

#define	IFCOUNT_CAST(x) IFCOUNT(x)

#define	IFCOUNT_(x) ((x).e)

#define	IFCOUNT_TYPE ifcount

#define	ifcount_TYPE ifcount

#define	ifcount_undefined ((ifcount)gen_chunk_undefined)

#define	ifcount_undefined_p(x) ((x)==ifcount_undefined)

#define	gen_IFCOUNT_cons gen_ifcount_cons

#define	ifcount_domain_number(x) ((x)->_type_)

#define	ifcount_profiled_(x) ifcount_profiled(x) /*old hack compatible /

#define	ifcount_profiled(x) ((x)->_ifcount_profiled_)

#define	ifcount_computed_(x) ifcount_computed(x) /*old hack compatible /

#define	ifcount_computed(x) ((x)->_ifcount_computed_)

#define	ifcount_halfhalf_(x) ifcount_halfhalf(x) /*old hack compatible /

#define	ifcount_halfhalf(x) ((x)->_ifcount_halfhalf_)

#define	RANGECOUNT(x) ((rangecount)((x).p))
	RANGECOUNT. More...

#define	rangecount_CAST(x) RANGECOUNT(x)

#define	RANGECOUNT_CAST(x) RANGECOUNT(x)

#define	RANGECOUNT_(x) ((x).e)

#define	RANGECOUNT_TYPE rangecount

#define	rangecount_TYPE rangecount

#define	rangecount_undefined ((rangecount)gen_chunk_undefined)

#define	rangecount_undefined_p(x) ((x)==rangecount_undefined)

#define	gen_RANGECOUNT_cons gen_rangecount_cons

#define	rangecount_domain_number(x) ((x)->_type_)

#define	rangecount_profiled_(x) rangecount_profiled(x) /*old hack compatible /

#define	rangecount_profiled(x) ((x)->_rangecount_profiled_)

#define	rangecount_guessed_(x) rangecount_guessed(x) /*old hack compatible /

#define	rangecount_guessed(x) ((x)->_rangecount_guessed_)

#define	rangecount_bounded_(x) rangecount_bounded(x) /*old hack compatible /

#define	rangecount_bounded(x) ((x)->_rangecount_bounded_)

#define	rangecount_unknown_(x) rangecount_unknown(x) /*old hack compatible /

#define	rangecount_unknown(x) ((x)->_rangecount_unknown_)

#define	VARCOUNT(x) ((varcount)((x).p))
	VARCOUNT. More...

#define	varcount_CAST(x) VARCOUNT(x)

#define	VARCOUNT_CAST(x) VARCOUNT(x)

#define	VARCOUNT_(x) ((x).e)

#define	VARCOUNT_TYPE varcount

#define	varcount_TYPE varcount

#define	varcount_undefined ((varcount)gen_chunk_undefined)

#define	varcount_undefined_p(x) ((x)==varcount_undefined)

#define	gen_VARCOUNT_cons gen_varcount_cons

#define	varcount_domain_number(x) ((x)->_type_)

#define	varcount_symbolic_(x) varcount_symbolic(x) /*old hack compatible /

#define	varcount_symbolic(x) ((x)->_varcount_symbolic_)

#define	varcount_guessed_(x) varcount_guessed(x) /*old hack compatible /

#define	varcount_guessed(x) ((x)->_varcount_guessed_)

#define	varcount_bounded_(x) varcount_bounded(x) /*old hack compatible /

#define	varcount_bounded(x) ((x)->_varcount_bounded_)

#define	varcount_unknown_(x) varcount_unknown(x) /*old hack compatible /

#define	varcount_unknown(x) ((x)->_varcount_unknown_)

#define	complexity_ri_spec "\--NEWGEN-START 164\n\import statement from \"ri.newgen\";\n\external Ppolynome;\n\complexity = eval:Ppolynome x varcount:varcount x rangecount:rangecount x ifcount:ifcount;\n\ifcount = profiled:int x computed:int x halfhalf:int;\n\rangecount = profiled:int x guessed:int x bounded:int x unknown:int;\n\varcount = symbolic:int x guessed:int x bounded:int x unknown:int;\n\"

Typedefs
typedef struct _newgen_struct_statement_ *	statement

typedef struct _newgen_struct_complexity_ *	complexity

typedef struct _newgen_struct_ifcount_ *	ifcount

typedef struct _newgen_struct_rangecount_ *	rangecount

typedef struct _newgen_struct_varcount_ *	varcount

Functions
complexity	copy_complexity (complexity)
	COMPLEXITY. More...

void	free_complexity (complexity)

complexity	check_complexity (complexity)

bool	complexity_consistent_p (complexity)

bool	complexity_defined_p (complexity)

list	gen_complexity_cons (complexity, list)

void	complexity_assign_contents (complexity, complexity)

void	complexity_non_recursive_free (complexity)

void	write_complexity (FILE *, complexity)

complexity	read_complexity (FILE *)

complexity	make_complexity (Ppolynome, varcount, rangecount, ifcount)

ifcount	copy_ifcount (ifcount)
	IFCOUNT. More...

void	free_ifcount (ifcount)

ifcount	check_ifcount (ifcount)

bool	ifcount_consistent_p (ifcount)

bool	ifcount_defined_p (ifcount)

list	gen_ifcount_cons (ifcount, list)

void	ifcount_assign_contents (ifcount, ifcount)

void	ifcount_non_recursive_free (ifcount)

void	write_ifcount (FILE *, ifcount)

ifcount	read_ifcount (FILE *)

ifcount	make_ifcount (intptr_t, intptr_t, intptr_t)

rangecount	copy_rangecount (rangecount)
	RANGECOUNT. More...

void	free_rangecount (rangecount)

rangecount	check_rangecount (rangecount)

bool	rangecount_consistent_p (rangecount)

bool	rangecount_defined_p (rangecount)

list	gen_rangecount_cons (rangecount, list)

void	rangecount_assign_contents (rangecount, rangecount)

void	rangecount_non_recursive_free (rangecount)

void	write_rangecount (FILE *, rangecount)

rangecount	read_rangecount (FILE *)

rangecount	make_rangecount (intptr_t, intptr_t, intptr_t, intptr_t)

varcount	copy_varcount (varcount)
	VARCOUNT. More...

void	free_varcount (varcount)

varcount	check_varcount (varcount)

bool	varcount_consistent_p (varcount)

bool	varcount_defined_p (varcount)

list	gen_varcount_cons (varcount, list)

void	varcount_assign_contents (varcount, varcount)

void	varcount_non_recursive_free (varcount)

void	write_varcount (FILE *, varcount)

varcount	read_varcount (FILE *)

varcount	make_varcount (intptr_t, intptr_t, intptr_t, intptr_t)

Macro Definition Documentation

◆ _gen_complexity_ri_start

#define _gen_complexity_ri_start 164

Definition at line 3 of file complexity_ri.h.

◆ _newgen_complexity_domain_defined_

#define _newgen_complexity_domain_defined_

Definition at line 27 of file complexity_ri.h.

◆ _newgen_ifcount_domain_defined_

#define _newgen_ifcount_domain_defined_

Definition at line 35 of file complexity_ri.h.

◆ _newgen_Ppolynome_domain_defined_

#define _newgen_Ppolynome_domain_defined_

newgen_statement_domain_defined

Definition at line 18 of file complexity_ri.h.

◆ _newgen_rangecount_domain_defined_

#define _newgen_rangecount_domain_defined_

Definition at line 43 of file complexity_ri.h.

◆ _newgen_statement_domain_defined_

#define _newgen_statement_domain_defined_

Definition at line 11 of file complexity_ri.h.

◆ _newgen_varcount_domain_defined_

#define _newgen_varcount_domain_defined_

Definition at line 51 of file complexity_ri.h.

◆ COMPLEXITY

#define COMPLEXITY ( x ) ((complexity)((x).p))

newgen_varcount_domain_defined

COMPLEXITY

Definition at line 60 of file complexity_ri.h.

◆ COMPLEXITY_

#define COMPLEXITY_ ( x ) ((x).e)

Definition at line 63 of file complexity_ri.h.

◆ complexity_CAST

#define complexity_CAST ( x ) COMPLEXITY(x)

Definition at line 61 of file complexity_ri.h.

◆ COMPLEXITY_CAST

#define COMPLEXITY_CAST ( x ) COMPLEXITY(x)

Definition at line 62 of file complexity_ri.h.

◆ complexity_domain

#define complexity_domain (_gen_complexity_ri_start+1)

newgen_Ppolynome_domain_defined

Definition at line 25 of file complexity_ri.h.

◆ complexity_domain_number

#define complexity_domain_number ( x ) ((x)->_type_)

Definition at line 90 of file complexity_ri.h.

◆ complexity_eval

#define complexity_eval ( x ) ((x)->_complexity_eval_)

Definition at line 92 of file complexity_ri.h.

◆ complexity_eval_

#define complexity_eval_ ( x ) complexity_eval(x) /**old hack compatible */

Definition at line 91 of file complexity_ri.h.

◆ complexity_ifcount

#define complexity_ifcount ( x ) ((x)->_complexity_ifcount_)

Definition at line 98 of file complexity_ri.h.

◆ complexity_ifcount_

#define complexity_ifcount_ ( x ) complexity_ifcount(x) /**old hack compatible */

Definition at line 97 of file complexity_ri.h.

◆ COMPLEXITY_NEWGEN_DOMAIN

#define COMPLEXITY_NEWGEN_DOMAIN (complexity_domain)

Definition at line 28 of file complexity_ri.h.

◆ complexity_NEWGEN_DOMAIN

#define complexity_NEWGEN_DOMAIN (complexity_domain)

Definition at line 29 of file complexity_ri.h.

◆ complexity_rangecount

#define complexity_rangecount ( x ) ((x)->_complexity_rangecount_)

Definition at line 96 of file complexity_ri.h.

◆ complexity_rangecount_

#define complexity_rangecount_ ( x ) complexity_rangecount(x) /**old hack compatible */

Definition at line 95 of file complexity_ri.h.

◆ complexity_ri_spec

#define complexity_ri_spec "\--NEWGEN-START 164\n\import statement from \"ri.newgen\";\n\external Ppolynome;\n\complexity = eval:Ppolynome x varcount:varcount x rangecount:rangecount x ifcount:ifcount;\n\ifcount = profiled:int x computed:int x halfhalf:int;\n\rangecount = profiled:int x guessed:int x bounded:int x unknown:int;\n\varcount = symbolic:int x guessed:int x bounded:int x unknown:int;\n\"

Definition at line 223 of file complexity_ri.h.

◆ COMPLEXITY_TYPE

#define COMPLEXITY_TYPE complexity

Definition at line 64 of file complexity_ri.h.

◆ complexity_TYPE

#define complexity_TYPE complexity

Definition at line 65 of file complexity_ri.h.

◆ complexity_undefined

#define complexity_undefined ((complexity)gen_chunk_undefined)

Definition at line 66 of file complexity_ri.h.

◆ complexity_undefined_p

#define complexity_undefined_p ( x ) ((x)==complexity_undefined)

Definition at line 67 of file complexity_ri.h.

◆ complexity_varcount

#define complexity_varcount ( x ) ((x)->_complexity_varcount_)

Definition at line 94 of file complexity_ri.h.

◆ complexity_varcount_

#define complexity_varcount_ ( x ) complexity_varcount(x) /**old hack compatible */

Definition at line 93 of file complexity_ri.h.

◆ gen_COMPLEXITY_cons

#define gen_COMPLEXITY_cons gen_complexity_cons

Definition at line 74 of file complexity_ri.h.

◆ gen_IFCOUNT_cons

#define gen_IFCOUNT_cons gen_ifcount_cons

Definition at line 116 of file complexity_ri.h.

◆ gen_RANGECOUNT_cons

#define gen_RANGECOUNT_cons gen_rangecount_cons

Definition at line 155 of file complexity_ri.h.

◆ gen_VARCOUNT_cons

#define gen_VARCOUNT_cons gen_varcount_cons

Definition at line 197 of file complexity_ri.h.

◆ IFCOUNT

#define IFCOUNT ( x ) ((ifcount)((x).p))

IFCOUNT.

Definition at line 102 of file complexity_ri.h.

◆ IFCOUNT_

#define IFCOUNT_ ( x ) ((x).e)

Definition at line 105 of file complexity_ri.h.

◆ ifcount_CAST

#define ifcount_CAST ( x ) IFCOUNT(x)

Definition at line 103 of file complexity_ri.h.

◆ IFCOUNT_CAST

#define IFCOUNT_CAST ( x ) IFCOUNT(x)

Definition at line 104 of file complexity_ri.h.

◆ ifcount_computed

#define ifcount_computed ( x ) ((x)->_ifcount_computed_)

Definition at line 135 of file complexity_ri.h.

◆ ifcount_computed_

#define ifcount_computed_ ( x ) ifcount_computed(x) /**old hack compatible */

Definition at line 134 of file complexity_ri.h.

◆ ifcount_domain

#define ifcount_domain (_gen_complexity_ri_start+2)

newgen_complexity_domain_defined

Definition at line 33 of file complexity_ri.h.

◆ ifcount_domain_number

#define ifcount_domain_number ( x ) ((x)->_type_)

Definition at line 131 of file complexity_ri.h.

◆ ifcount_halfhalf

#define ifcount_halfhalf ( x ) ((x)->_ifcount_halfhalf_)

Definition at line 137 of file complexity_ri.h.

◆ ifcount_halfhalf_

#define ifcount_halfhalf_ ( x ) ifcount_halfhalf(x) /**old hack compatible */

Definition at line 136 of file complexity_ri.h.

◆ IFCOUNT_NEWGEN_DOMAIN

#define IFCOUNT_NEWGEN_DOMAIN (ifcount_domain)

Definition at line 36 of file complexity_ri.h.

◆ ifcount_NEWGEN_DOMAIN

#define ifcount_NEWGEN_DOMAIN (ifcount_domain)

Definition at line 37 of file complexity_ri.h.

◆ ifcount_profiled

#define ifcount_profiled ( x ) ((x)->_ifcount_profiled_)

Definition at line 133 of file complexity_ri.h.

◆ ifcount_profiled_

#define ifcount_profiled_ ( x ) ifcount_profiled(x) /**old hack compatible */

Definition at line 132 of file complexity_ri.h.

◆ IFCOUNT_TYPE

#define IFCOUNT_TYPE ifcount

Definition at line 106 of file complexity_ri.h.

◆ ifcount_TYPE

#define ifcount_TYPE ifcount

Definition at line 107 of file complexity_ri.h.

◆ ifcount_undefined

#define ifcount_undefined ((ifcount)gen_chunk_undefined)

Definition at line 108 of file complexity_ri.h.

◆ ifcount_undefined_p

#define ifcount_undefined_p ( x ) ((x)==ifcount_undefined)

Definition at line 109 of file complexity_ri.h.

◆ newgen_Ppolynome

#define newgen_Ppolynome ( p ) (p) /**old hack compatible */

Definition at line 19 of file complexity_ri.h.

◆ PPOLYNOME_NEWGEN_DOMAIN

#define PPOLYNOME_NEWGEN_DOMAIN (PPOLYNOME_NEWGEN_EXTERNAL)

Definition at line 21 of file complexity_ri.h.

◆ Ppolynome_NEWGEN_DOMAIN

#define Ppolynome_NEWGEN_DOMAIN (PPOLYNOME_NEWGEN_EXTERNAL)

Definition at line 22 of file complexity_ri.h.

◆ PPOLYNOME_NEWGEN_EXTERNAL

#define PPOLYNOME_NEWGEN_EXTERNAL (_gen_complexity_ri_start+0)

Definition at line 20 of file complexity_ri.h.

◆ RANGECOUNT

#define RANGECOUNT ( x ) ((rangecount)((x).p))

RANGECOUNT.

Definition at line 141 of file complexity_ri.h.

◆ RANGECOUNT_

#define RANGECOUNT_ ( x ) ((x).e)

Definition at line 144 of file complexity_ri.h.

◆ rangecount_bounded

#define rangecount_bounded ( x ) ((x)->_rangecount_bounded_)

Definition at line 177 of file complexity_ri.h.

◆ rangecount_bounded_

#define rangecount_bounded_ ( x ) rangecount_bounded(x) /**old hack compatible */

Definition at line 176 of file complexity_ri.h.

◆ rangecount_CAST

#define rangecount_CAST ( x ) RANGECOUNT(x)

Definition at line 142 of file complexity_ri.h.

◆ RANGECOUNT_CAST

#define RANGECOUNT_CAST ( x ) RANGECOUNT(x)

Definition at line 143 of file complexity_ri.h.

◆ rangecount_domain

#define rangecount_domain (_gen_complexity_ri_start+3)

newgen_ifcount_domain_defined

Definition at line 41 of file complexity_ri.h.

◆ rangecount_domain_number

#define rangecount_domain_number ( x ) ((x)->_type_)

Definition at line 171 of file complexity_ri.h.

◆ rangecount_guessed

#define rangecount_guessed ( x ) ((x)->_rangecount_guessed_)

Definition at line 175 of file complexity_ri.h.

◆ rangecount_guessed_

#define rangecount_guessed_ ( x ) rangecount_guessed(x) /**old hack compatible */

Definition at line 174 of file complexity_ri.h.

◆ RANGECOUNT_NEWGEN_DOMAIN

#define RANGECOUNT_NEWGEN_DOMAIN (rangecount_domain)

Definition at line 44 of file complexity_ri.h.

◆ rangecount_NEWGEN_DOMAIN

#define rangecount_NEWGEN_DOMAIN (rangecount_domain)

Definition at line 45 of file complexity_ri.h.

◆ rangecount_profiled

#define rangecount_profiled ( x ) ((x)->_rangecount_profiled_)

Definition at line 173 of file complexity_ri.h.

◆ rangecount_profiled_

#define rangecount_profiled_ ( x ) rangecount_profiled(x) /**old hack compatible */

Definition at line 172 of file complexity_ri.h.

◆ RANGECOUNT_TYPE

#define RANGECOUNT_TYPE rangecount

Definition at line 145 of file complexity_ri.h.

◆ rangecount_TYPE

#define rangecount_TYPE rangecount

Definition at line 146 of file complexity_ri.h.

◆ rangecount_undefined

#define rangecount_undefined ((rangecount)gen_chunk_undefined)

Definition at line 147 of file complexity_ri.h.

◆ rangecount_undefined_p

#define rangecount_undefined_p ( x ) ((x)==rangecount_undefined)

Definition at line 148 of file complexity_ri.h.

◆ rangecount_unknown

#define rangecount_unknown ( x ) ((x)->_rangecount_unknown_)

Definition at line 179 of file complexity_ri.h.

◆ rangecount_unknown_

#define rangecount_unknown_ ( x ) rangecount_unknown(x) /**old hack compatible */

Definition at line 178 of file complexity_ri.h.

◆ STATEMENT_NEWGEN_DOMAIN

#define STATEMENT_NEWGEN_DOMAIN (statement_domain)

Definition at line 12 of file complexity_ri.h.

◆ statement_NEWGEN_DOMAIN

#define statement_NEWGEN_DOMAIN (statement_domain)

Definition at line 13 of file complexity_ri.h.

◆ VARCOUNT

#define VARCOUNT ( x ) ((varcount)((x).p))

VARCOUNT.

Definition at line 183 of file complexity_ri.h.

◆ VARCOUNT_

#define VARCOUNT_ ( x ) ((x).e)

Definition at line 186 of file complexity_ri.h.

◆ varcount_bounded

#define varcount_bounded ( x ) ((x)->_varcount_bounded_)

Definition at line 219 of file complexity_ri.h.

◆ varcount_bounded_

#define varcount_bounded_ ( x ) varcount_bounded(x) /**old hack compatible */

Definition at line 218 of file complexity_ri.h.

◆ varcount_CAST

#define varcount_CAST ( x ) VARCOUNT(x)

Definition at line 184 of file complexity_ri.h.

◆ VARCOUNT_CAST

#define VARCOUNT_CAST ( x ) VARCOUNT(x)

Definition at line 185 of file complexity_ri.h.

◆ varcount_domain

#define varcount_domain (_gen_complexity_ri_start+4)

newgen_rangecount_domain_defined

Definition at line 49 of file complexity_ri.h.

◆ varcount_domain_number

#define varcount_domain_number ( x ) ((x)->_type_)

Definition at line 213 of file complexity_ri.h.

◆ varcount_guessed

#define varcount_guessed ( x ) ((x)->_varcount_guessed_)

Definition at line 217 of file complexity_ri.h.

◆ varcount_guessed_

#define varcount_guessed_ ( x ) varcount_guessed(x) /**old hack compatible */

Definition at line 216 of file complexity_ri.h.

◆ VARCOUNT_NEWGEN_DOMAIN

#define VARCOUNT_NEWGEN_DOMAIN (varcount_domain)

Definition at line 52 of file complexity_ri.h.

◆ varcount_NEWGEN_DOMAIN

#define varcount_NEWGEN_DOMAIN (varcount_domain)

Definition at line 53 of file complexity_ri.h.

◆ varcount_symbolic

#define varcount_symbolic ( x ) ((x)->_varcount_symbolic_)

Definition at line 215 of file complexity_ri.h.

◆ varcount_symbolic_

#define varcount_symbolic_ ( x ) varcount_symbolic(x) /**old hack compatible */

Definition at line 214 of file complexity_ri.h.

◆ VARCOUNT_TYPE

#define VARCOUNT_TYPE varcount

Definition at line 187 of file complexity_ri.h.

◆ varcount_TYPE

#define varcount_TYPE varcount

Definition at line 188 of file complexity_ri.h.

◆ varcount_undefined

#define varcount_undefined ((varcount)gen_chunk_undefined)

Definition at line 189 of file complexity_ri.h.

◆ varcount_undefined_p

#define varcount_undefined_p ( x ) ((x)==varcount_undefined)

Definition at line 190 of file complexity_ri.h.

◆ varcount_unknown

#define varcount_unknown ( x ) ((x)->_varcount_unknown_)

Definition at line 221 of file complexity_ri.h.

◆ varcount_unknown_

#define varcount_unknown_ ( x ) varcount_unknown(x) /**old hack compatible */

Definition at line 220 of file complexity_ri.h.

Typedef Documentation

◆ complexity

typedef struct _newgen_struct_complexity_* complexity

Definition at line 30 of file complexity_ri.h.

◆ ifcount

typedef struct _newgen_struct_ifcount_* ifcount

Definition at line 38 of file complexity_ri.h.

◆ rangecount

typedef struct _newgen_struct_rangecount_* rangecount

Definition at line 46 of file complexity_ri.h.

◆ statement

typedef struct _newgen_struct_statement_* statement

Definition at line 14 of file complexity_ri.h.

◆ varcount

typedef struct _newgen_struct_varcount_* varcount

Definition at line 54 of file complexity_ri.h.

Function Documentation

◆ check_complexity()

complexity check_complexity ( complexity p )

Definition at line 24 of file complexity_ri.c.

                                           {
   return (complexity) gen_check((gen_chunk*) p, complexity_domain);
 }

References complexity_domain, and gen_check().

Referenced by complexity_assign_contents(), and complexity_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_ifcount()

ifcount check_ifcount ( ifcount p )

Definition at line 66 of file complexity_ri.c.

                                  {
   return (ifcount) gen_check((gen_chunk*) p, ifcount_domain);
 }

References gen_check(), and ifcount_domain.

Referenced by ifcount_assign_contents(), and ifcount_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_rangecount()

rangecount check_rangecount ( rangecount p )

Definition at line 108 of file complexity_ri.c.

                                           {
   return (rangecount) gen_check((gen_chunk*) p, rangecount_domain);
 }

References gen_check(), and rangecount_domain.

Referenced by rangecount_assign_contents(), and rangecount_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_varcount()

varcount check_varcount ( varcount p )

Definition at line 150 of file complexity_ri.c.

                                     {
   return (varcount) gen_check((gen_chunk*) p, varcount_domain);
 }

References gen_check(), and varcount_domain.

Referenced by varcount_assign_contents(), and varcount_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ complexity_assign_contents()

void complexity_assign_contents	(	complexity	r,
		complexity	v
	)

Definition at line 37 of file complexity_ri.c.

                                                             {
   check_complexity(r);
   check_complexity(v);
   message_assert("defined references to domain complexity",
                  complexity_defined_p(r) && complexity_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_complexity_));
 }

References check_complexity(), complexity_defined_p(), and message_assert.

Here is the call graph for this function:

◆ complexity_consistent_p()

bool complexity_consistent_p ( complexity p )

Definition at line 27 of file complexity_ri.c.

                                            {
   check_complexity(p);
   return gen_consistent_p((gen_chunk*) p);
 }

References check_complexity(), and gen_consistent_p().

Referenced by block_to_complexity(), complexity_stats_add(), complexity_var_subst(), polynome_to_new_complexity(), statement_to_complexity(), and summary_complexity().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ complexity_defined_p()

bool complexity_defined_p ( complexity p )

Definition at line 31 of file complexity_ri.c.

                                         {
   return gen_defined_p((gen_chunk*) p);
 }

References gen_defined_p().

Referenced by complexity_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ complexity_non_recursive_free()

void complexity_non_recursive_free ( complexity p )

Definition at line 44 of file complexity_ri.c.

                                                  {
   // should clear up contents...
   free(p);
 }

References free().

Here is the call graph for this function:

◆ copy_complexity()

complexity copy_complexity ( complexity p )

COMPLEXITY.

Definition at line 18 of file complexity_ri.c.

                                          {
   return (complexity) gen_copy_tree((gen_chunk*) p);
 }

References gen_copy_tree().

Referenced by summary_complexity().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_ifcount()

ifcount copy_ifcount ( ifcount p )

IFCOUNT.

Definition at line 60 of file complexity_ri.c.

                                 {
   return (ifcount) gen_copy_tree((gen_chunk*) p);
 }

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_rangecount()

rangecount copy_rangecount ( rangecount p )

RANGECOUNT.

Definition at line 102 of file complexity_ri.c.

                                          {
   return (rangecount) gen_copy_tree((gen_chunk*) p);
 }

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_varcount()

varcount copy_varcount ( varcount p )

VARCOUNT.

Definition at line 144 of file complexity_ri.c.

                                    {
   return (varcount) gen_copy_tree((gen_chunk*) p);
 }

References gen_copy_tree().

Here is the call graph for this function:

◆ free_complexity()

void free_complexity ( complexity p )

Definition at line 21 of file complexity_ri.c.

                                    {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by complexity_rm(), and loop_to_complexity().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ free_ifcount()

void free_ifcount ( ifcount p )

Definition at line 63 of file complexity_ri.c.

                              {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_rangecount()

void free_rangecount ( rangecount p )

Definition at line 105 of file complexity_ri.c.

                                    {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_varcount()

void free_varcount ( varcount p )

Definition at line 147 of file complexity_ri.c.

                                {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ gen_complexity_cons()

list gen_complexity_cons	(	complexity	p,
		list	l
	)

Definition at line 34 of file complexity_ri.c.

                                                {
   return gen_typed_cons(COMPLEXITY_NEWGEN_DOMAIN, p, l);
 }

References COMPLEXITY_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_ifcount_cons()

list gen_ifcount_cons	(	ifcount	p,
		list	l
	)

Definition at line 76 of file complexity_ri.c.

                                          {
   return gen_typed_cons(IFCOUNT_NEWGEN_DOMAIN, p, l);
 }

References gen_typed_cons(), and IFCOUNT_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ gen_rangecount_cons()

list gen_rangecount_cons	(	rangecount	p,
		list	l
	)

Definition at line 118 of file complexity_ri.c.

                                                {
   return gen_typed_cons(RANGECOUNT_NEWGEN_DOMAIN, p, l);
 }

References gen_typed_cons(), and RANGECOUNT_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ gen_varcount_cons()

list gen_varcount_cons	(	varcount	p,
		list	l
	)

Definition at line 160 of file complexity_ri.c.

                                            {
   return gen_typed_cons(VARCOUNT_NEWGEN_DOMAIN, p, l);
 }

References gen_typed_cons(), and VARCOUNT_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ ifcount_assign_contents()

void ifcount_assign_contents	(	ifcount	r,
		ifcount	v
	)

Definition at line 79 of file complexity_ri.c.

                                                    {
   check_ifcount(r);
   check_ifcount(v);
   message_assert("defined references to domain ifcount",
                  ifcount_defined_p(r) && ifcount_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_ifcount_));
 }

References check_ifcount(), ifcount_defined_p(), and message_assert.

Here is the call graph for this function:

◆ ifcount_consistent_p()

bool ifcount_consistent_p ( ifcount p )

Definition at line 69 of file complexity_ri.c.

                                      {
   check_ifcount(p);
   return gen_consistent_p((gen_chunk*) p);
 }

References check_ifcount(), and gen_consistent_p().

Here is the call graph for this function:

◆ ifcount_defined_p()

bool ifcount_defined_p ( ifcount p )

Definition at line 73 of file complexity_ri.c.

                                   {
   return gen_defined_p((gen_chunk*) p);
 }

References gen_defined_p().

Referenced by ifcount_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ ifcount_non_recursive_free()

void ifcount_non_recursive_free ( ifcount p )

Definition at line 86 of file complexity_ri.c.

                                            {
   // should clear up contents...
   free(p);
 }

References free().

Here is the call graph for this function:

◆ make_complexity()

complexity make_complexity	(	Ppolynome	a1,
		varcount	a2,
		rangecount	a3,
		ifcount	a4
	)

Definition at line 54 of file complexity_ri.c.

                                                                                  {
   return (complexity) gen_alloc(5*sizeof(gen_chunk), GEN_CHECK_ALLOC, complexity_domain, a1, a2, a3, a4);
 }

References complexity_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by complexity_dup(), and polynome_to_new_complexity().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_ifcount()

ifcount make_ifcount	(	intptr_t	a1,
		intptr_t	a2,
		intptr_t	a3
	)

Definition at line 96 of file complexity_ri.c.

                                                             {
   return (ifcount) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, ifcount_domain, a1, a2, a3);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and ifcount_domain.

Referenced by complexity_dup(), and polynome_to_new_complexity().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_rangecount()

rangecount make_rangecount	(	intptr_t	a1,
		intptr_t	a2,
		intptr_t	a3,
		intptr_t	a4
	)

Definition at line 138 of file complexity_ri.c.

                                                                                {
   return (rangecount) gen_alloc(5*sizeof(gen_chunk), GEN_CHECK_ALLOC, rangecount_domain, a1, a2, a3, a4);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and rangecount_domain.

Referenced by complexity_dup(), and polynome_to_new_complexity().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_varcount()

varcount make_varcount	(	intptr_t	a1,
		intptr_t	a2,
		intptr_t	a3,
		intptr_t	a4
	)

Definition at line 180 of file complexity_ri.c.

                                                                            {
   return (varcount) gen_alloc(5*sizeof(gen_chunk), GEN_CHECK_ALLOC, varcount_domain, a1, a2, a3, a4);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and varcount_domain.

Referenced by complexity_dup(), and polynome_to_new_complexity().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ rangecount_assign_contents()

void rangecount_assign_contents	(	rangecount	r,
		rangecount	v
	)

Definition at line 121 of file complexity_ri.c.

                                                             {
   check_rangecount(r);
   check_rangecount(v);
   message_assert("defined references to domain rangecount",
                  rangecount_defined_p(r) && rangecount_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_rangecount_));
 }

References check_rangecount(), message_assert, and rangecount_defined_p().

Here is the call graph for this function:

◆ rangecount_consistent_p()

bool rangecount_consistent_p ( rangecount p )

Definition at line 111 of file complexity_ri.c.

                                            {
   check_rangecount(p);
   return gen_consistent_p((gen_chunk*) p);
 }

References check_rangecount(), and gen_consistent_p().

Here is the call graph for this function:

◆ rangecount_defined_p()

bool rangecount_defined_p ( rangecount p )

Definition at line 115 of file complexity_ri.c.

                                         {
   return gen_defined_p((gen_chunk*) p);
 }

References gen_defined_p().

Referenced by rangecount_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ rangecount_non_recursive_free()

void rangecount_non_recursive_free ( rangecount p )

Definition at line 128 of file complexity_ri.c.

                                                  {
   // should clear up contents...
   free(p);
 }

References free().

Here is the call graph for this function:

◆ read_complexity()

complexity read_complexity ( FILE * f )

Definition at line 51 of file complexity_ri.c.

                                     {
   return (complexity) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_ifcount()

ifcount read_ifcount ( FILE * f )

Definition at line 93 of file complexity_ri.c.

                               {
   return (ifcount) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_rangecount()

rangecount read_rangecount ( FILE * f )

Definition at line 135 of file complexity_ri.c.

                                     {
   return (rangecount) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_varcount()

varcount read_varcount ( FILE * f )

Definition at line 177 of file complexity_ri.c.

                                 {
   return (varcount) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ varcount_assign_contents()

void varcount_assign_contents	(	varcount	r,
		varcount	v
	)

Definition at line 163 of file complexity_ri.c.

                                                       {
   check_varcount(r);
   check_varcount(v);
   message_assert("defined references to domain varcount",
                  varcount_defined_p(r) && varcount_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_varcount_));
 }

References check_varcount(), message_assert, and varcount_defined_p().

Here is the call graph for this function:

◆ varcount_consistent_p()

bool varcount_consistent_p ( varcount p )

Definition at line 153 of file complexity_ri.c.

                                        {
   check_varcount(p);
   return gen_consistent_p((gen_chunk*) p);
 }

References check_varcount(), and gen_consistent_p().

Here is the call graph for this function:

◆ varcount_defined_p()

bool varcount_defined_p ( varcount p )

Definition at line 157 of file complexity_ri.c.

                                     {
   return gen_defined_p((gen_chunk*) p);
 }

References gen_defined_p().

Referenced by varcount_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ varcount_non_recursive_free()

void varcount_non_recursive_free ( varcount p )

Definition at line 170 of file complexity_ri.c.

                                              {
   // should clear up contents...
   free(p);
 }

References free().

Here is the call graph for this function:

◆ write_complexity()

void write_complexity	(	FILE *	f,
		complexity	p
	)

Definition at line 48 of file complexity_ri.c.

                                              {
   gen_write(f, (gen_chunk*) p);
 }

References f(), and gen_write().

Here is the call graph for this function:

◆ write_ifcount()

void write_ifcount	(	FILE *	f,
		ifcount	p
	)

Definition at line 90 of file complexity_ri.c.

                                        {
   gen_write(f, (gen_chunk*) p);
 }

References f(), and gen_write().

Here is the call graph for this function:

◆ write_rangecount()

void write_rangecount	(	FILE *	f,
		rangecount	p
	)

Definition at line 132 of file complexity_ri.c.

                                              {
   gen_write(f, (gen_chunk*) p);
 }

References f(), and gen_write().

Here is the call graph for this function:

◆ write_varcount()

void write_varcount	(	FILE *	f,
		varcount	p
	)

Definition at line 174 of file complexity_ri.c.

                                          {
   gen_write(f, (gen_chunk*) p);
 }

References f(), and gen_write().

Here is the call graph for this function:

Data Structures

Macros

Typedefs

Functions

Macro Definition Documentation

◆ _gen_complexity_ri_start

◆ _newgen_complexity_domain_defined_

◆ _newgen_ifcount_domain_defined_

◆ _newgen_Ppolynome_domain_defined_

◆ _newgen_rangecount_domain_defined_

◆ _newgen_statement_domain_defined_

◆ _newgen_varcount_domain_defined_

◆ COMPLEXITY

◆ COMPLEXITY_

◆ complexity_CAST

◆ COMPLEXITY_CAST

◆ complexity_domain

◆ complexity_domain_number

◆ complexity_eval

◆ complexity_eval_

◆ complexity_ifcount

◆ complexity_ifcount_

◆ COMPLEXITY_NEWGEN_DOMAIN

◆ complexity_NEWGEN_DOMAIN

◆ complexity_rangecount

◆ complexity_rangecount_

◆ complexity_ri_spec

◆ COMPLEXITY_TYPE

◆ complexity_TYPE

◆ complexity_undefined

◆ complexity_undefined_p

◆ complexity_varcount

◆ complexity_varcount_

◆ gen_COMPLEXITY_cons

◆ gen_IFCOUNT_cons

◆ gen_RANGECOUNT_cons

◆ gen_VARCOUNT_cons

◆ IFCOUNT

◆ IFCOUNT_

◆ ifcount_CAST

◆ IFCOUNT_CAST

◆ ifcount_computed

◆ ifcount_computed_

◆ ifcount_domain

◆ ifcount_domain_number

◆ ifcount_halfhalf

◆ ifcount_halfhalf_

◆ IFCOUNT_NEWGEN_DOMAIN

◆ ifcount_NEWGEN_DOMAIN

◆ ifcount_profiled

◆ ifcount_profiled_

◆ IFCOUNT_TYPE

◆ ifcount_TYPE

◆ ifcount_undefined

◆ ifcount_undefined_p

◆ newgen_Ppolynome

◆ PPOLYNOME_NEWGEN_DOMAIN

◆ Ppolynome_NEWGEN_DOMAIN

◆ PPOLYNOME_NEWGEN_EXTERNAL

◆ RANGECOUNT

◆ RANGECOUNT_

◆ rangecount_bounded

◆ rangecount_bounded_

◆ rangecount_CAST

◆ RANGECOUNT_CAST

◆ rangecount_domain

◆ rangecount_domain_number

◆ rangecount_guessed

◆ rangecount_guessed_

◆ RANGECOUNT_NEWGEN_DOMAIN

◆ rangecount_NEWGEN_DOMAIN

◆ rangecount_profiled

◆ rangecount_profiled_

◆ RANGECOUNT_TYPE

◆ rangecount_TYPE

◆ rangecount_undefined

◆ rangecount_undefined_p

◆ rangecount_unknown

◆ rangecount_unknown_

◆ STATEMENT_NEWGEN_DOMAIN