program-state.h File Reference

#include "text-art/widget.h"
#include "text-art/tree-widget.h"
#include "analyzer/store.h"

Include dependency graph for program-state.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	ana::extrinsic_state
class	ana::sm_state_map
struct	ana::sm_state_map::entry_t
class	ana::program_state
class	ana::state_change_visitor

Namespaces
namespace	ana

Functions
bool	ana::for_each_state_change (const program_state &src_state, const program_state &dst_state, const extrinsic_state &ext_state, state_change_visitor *visitor)