ana::engine Class Reference

#include <region-model.h>

Collaboration diagram for ana::engine:

Public Member Functions
	engine (region_model_manager &mgr, const supergraph *sg=nullptr)
const supergraph *	get_supergraph ()
region_model_manager *	get_model_manager ()
known_function_manager *	get_known_function_manager ()
void	log_stats (logger *logger) const

Private Attributes
region_model_manager &	m_mgr
const supergraph *	m_sg

Detailed Description

A bundle of state.   

Constructor & Destructor Documentation

engine()

ana::engine::engine	(	region_model_manager &	mgr,
		const supergraph *	sg = nullptr )

Member Function Documentation

get_known_function_manager()

known_function_manager * ana::engine::get_known_function_manager ( )

inline

References m_mgr.

get_model_manager()

region_model_manager * ana::engine::get_model_manager ( )

inline

References m_mgr.

get_supergraph()

const supergraph * ana::engine::get_supergraph ( )

inline

References m_sg.

log_stats()

void ana::engine::log_stats

(

logger *

logger

)

const

Field Documentation

m_mgr

region_model_manager& ana::engine::m_mgr

private

Referenced by get_known_function_manager(), and get_model_manager().

m_sg

const supergraph* ana::engine::m_sg

private

Referenced by get_supergraph().

---

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

• region-model.h