ana::critical_state Struct Reference

#include <checker-event.h>

Collaboration diagram for ana::critical_state:

Public Member Functions
	critical_state ()
	critical_state (tree var, state_machine::state_t state)

Data Fields
tree	m_var
state_machine::state_t	m_state

Constructor & Destructor Documentation

critical_state() [1/2]

ana::critical_state::critical_state ( )

inline

References m_state, m_var, and NULL_TREE.

critical_state() [2/2]

ana::critical_state::critical_state ( tree var, state_machine::state_t state )

inline

References m_state, and m_var.

Field Documentation

m_state

state_machine::state_t ana::critical_state::m_state

Referenced by critical_state(), and critical_state().

m_var

tree ana::critical_state::m_var

Referenced by critical_state(), and critical_state().

---

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

• checker-event.h