#include <complexity.h>

Public Member Functions
	complexity (unsigned num_nodes, unsigned max_depth)

	complexity (const region *reg)

	complexity (const svalue *sval)

Static Public Member Functions
static complexity	from_pair (const complexity &c1, const complexity &c)

static complexity	from_vec_svalue (const vec< const svalue * > &vec)

Data Fields
unsigned	m_num_nodes

unsigned	m_max_depth

Detailed Description

A measurement of the complexity of an svalue or region, so that
we can impose bounds on the growth of these tree-like structures
and thus avoid infinite chains of analysis.

Constructor & Destructor Documentation

◆ complexity() [1/3]

ana::complexity::complexity	(	unsigned	num_nodes,
		unsigned	max_depth )

inline

◆ complexity() [2/3]

ana::complexity::complexity ( const region * reg )

◆ complexity() [3/3]

ana::complexity::complexity ( const svalue * sval )

Member Function Documentation

◆ from_pair()

static complexity ana::complexity::from_pair	(	const complexity &	c1,
		const complexity &	c )

static

◆ from_vec_svalue()

static complexity ana::complexity::from_vec_svalue ( const vec< const svalue * > & vec )

static

Field Documentation

◆ m_max_depth

unsigned ana::complexity::m_max_depth

◆ m_num_nodes

unsigned ana::complexity::m_num_nodes

The documentation for this struct was generated from the following file:

complexity.h

Public Member Functions

Static Public Member Functions

Data Fields