ana::extrinsic_state Class Reference

#include <program-state.h>

Collaboration diagram for ana::extrinsic_state:

Public Member Functions
	extrinsic_state (auto_delete_vec< state_machine > &checkers, engine *eng, logger *logger=NULL)
const state_machine &	get_sm (int idx) const
const char *	get_name (int idx) const
unsigned	get_num_checkers () const
logger *	get_logger () const
void	dump_to_pp (pretty_printer *pp) const
void	dump_to_file (FILE *outf) const
void	dump () const
json::object *	to_json () const
engine *	get_engine () const
region_model_manager *	get_model_manager () const
bool	get_sm_idx_by_name (const char *name, unsigned *out) const

Private Attributes
auto_delete_vec< state_machine > &	m_checkers
logger *	m_logger
engine *	m_engine

Detailed Description

Data shared by all program_state instances.   

Constructor & Destructor Documentation

extrinsic_state()

ana::extrinsic_state::extrinsic_state ( auto_delete_vec< state_machine > & checkers, engine * eng, logger * logger = NULL )

inline

Member Function Documentation

dump()

void ana::extrinsic_state::dump

(

)

const

dump_to_file()

void ana::extrinsic_state::dump_to_file

(

FILE *

outf

)

const

dump_to_pp()

void ana::extrinsic_state::dump_to_pp

(

pretty_printer *

pp

)

const

get_engine()

engine * ana::extrinsic_state::get_engine ( ) const

inline

References m_engine.

Referenced by ana::exploded_graph::get_engine().

get_logger()

logger * ana::extrinsic_state::get_logger ( ) const

inline

References m_logger.

get_model_manager()

region_model_manager * ana::extrinsic_state::get_model_manager

(

)

const

get_name()

const char * ana::extrinsic_state::get_name ( int idx ) const

inline

References m_checkers.

get_num_checkers()

unsigned ana::extrinsic_state::get_num_checkers ( ) const

inline

References m_checkers.

get_sm()

const state_machine & ana::extrinsic_state::get_sm ( int idx ) const

inline

References m_checkers.

get_sm_idx_by_name()

bool ana::extrinsic_state::get_sm_idx_by_name	(	const char *	name,
		unsigned *	out ) const

to_json()

json::object * ana::extrinsic_state::to_json

(

)

const

Field Documentation

m_checkers

auto_delete_vec<state_machine>& ana::extrinsic_state::m_checkers

private

Referenced by get_name(), get_num_checkers(), and get_sm().

m_engine

engine* ana::extrinsic_state::m_engine

private

Referenced by get_engine().

m_logger

logger* ana::extrinsic_state::m_logger

private

Referenced by get_logger().

---

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

• program-state.h