ana::point_and_state Class Reference

#include <exploded-graph.h>

Collaboration diagram for ana::point_and_state:

Public Member Functions
	point_and_state (const program_point &point, const program_state &state)
hashval_t	hash () const
bool	operator== (const point_and_state &other) const
const program_point &	get_point () const
const program_state &	get_state () const
void	set_state (const program_state &state)
void	validate (const extrinsic_state &ext_state) const

Private Attributes
program_point	m_point
program_state	m_state
hashval_t	m_hash

Detailed Description

A <program_point, program_state> pair, used internally by
exploded_node as its immutable data, and as a key for identifying
exploded_nodes we've already seen in the graph.   

Constructor & Destructor Documentation

point_and_state()

ana::point_and_state::point_and_state ( const program_point & point, const program_state & state )

inline

References gcc_assert.

Member Function Documentation

get_point()

const program_point & ana::point_and_state::get_point ( ) const

inline

References m_point.

Referenced by ana::exploded_node::get_point(), and ana::exploded_node::get_point_key().

get_state()

const program_state & ana::point_and_state::get_state ( ) const

inline

References m_state.

Referenced by ana::exploded_node::get_state().

hash()

hashval_t ana::point_and_state::hash ( ) const

inline

References m_hash.

Referenced by ana::exploded_node::hash().

operator==()

bool ana::point_and_state::operator== ( const point_and_state & other ) const

inline

References m_point, and m_state.

set_state()

void ana::point_and_state::set_state ( const program_state & state )

inline

References ana::program_point::hash(), ana::program_state::hash(), m_hash, m_point, and m_state.

validate()

void ana::point_and_state::validate

(

const extrinsic_state &

ext_state

)

const

Field Documentation

m_hash

hashval_t ana::point_and_state::m_hash

private

Referenced by hash(), and set_state().

m_point

program_point ana::point_and_state::m_point

private

Referenced by get_point(), operator==(), and set_state().

m_state

program_state ana::point_and_state::m_state

private

Referenced by get_state(), operator==(), and set_state().

---

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

• exploded-graph.h