ana::operation_context Struct Reference
#include <ops.h>
Collaboration diagram for ana::operation_context:
Public Member Functions | |
| operation_context (exploded_graph &eg, exploded_node &src_enode, const superedge &sedge) | |
| void DEBUG_FUNCTION | dump () const |
| logger * | get_logger () const |
| const extrinsic_state & | get_ext_state () const |
| const program_point & | get_initial_point () const |
| const program_state & | get_initial_state () const |
| const supergraph & | get_supergraph () const |
| program_point | get_next_intraprocedural_point () const |
| void | add_outcome (const program_point &dst_point, program_state dst_state, bool could_do_work, uncertainty_t *uncertainty, std::unique_ptr< custom_edge_info > info=nullptr) |
Data Fields | |
| exploded_graph & | m_eg |
| exploded_node & | m_src_enode |
| const superedge & | m_sedge |
Constructor & Destructor Documentation
◆ operation_context()
|
inline |
References m_eg, m_sedge, and m_src_enode.
Member Function Documentation
◆ add_outcome()
| void ana::operation_context::add_outcome | ( | const program_point & | dst_point, |
| program_state | dst_state, | ||
| bool | could_do_work, | ||
| uncertainty_t * | uncertainty, | ||
| std::unique_ptr< custom_edge_info > | info = nullptr ) |
◆ dump()
| void DEBUG_FUNCTION ana::operation_context::dump | ( | ) | const |
References DEBUG_FUNCTION.
◆ get_ext_state()
| const extrinsic_state & ana::operation_context::get_ext_state | ( | ) | const |
◆ get_initial_point()
| const program_point & ana::operation_context::get_initial_point | ( | ) | const |
◆ get_initial_state()
| const program_state & ana::operation_context::get_initial_state | ( | ) | const |
◆ get_logger()
| logger * ana::operation_context::get_logger | ( | ) | const |
◆ get_next_intraprocedural_point()
| program_point ana::operation_context::get_next_intraprocedural_point | ( | ) | const |
◆ get_supergraph()
| const supergraph & ana::operation_context::get_supergraph | ( | ) | const |
Field Documentation
◆ m_eg
| exploded_graph& ana::operation_context::m_eg |
Referenced by operation_context().
◆ m_sedge
| const superedge& ana::operation_context::m_sedge |
Referenced by operation_context().
◆ m_src_enode
| exploded_node& ana::operation_context::m_src_enode |
Referenced by operation_context().
The documentation for this struct was generated from the following file:
