#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

References m_max_depth, and m_num_nodes.

Referenced by from_pair(), and from_vec_svalue().

◆ complexity() [2/3]

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

◆ complexity() [3/3]

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

Member Function Documentation

◆ from_pair()

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

static

References complexity().

◆ from_vec_svalue()

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

static

References complexity().

Field Documentation

◆ m_max_depth

unsigned ana::complexity::m_max_depth

Referenced by complexity().

◆ m_num_nodes

unsigned ana::complexity::m_num_nodes