path_symex_state.h File Reference

State of path-based symbolic simulator. More...

#include <util/invariant.h>
#include "locs.h"
#include "var_map.h"
#include "path_symex_history.h"

Include dependency graph for path_symex_state.h:

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

Go to the source code of this file.

Classes
struct	path_symex_statet
struct	path_symex_statet::var_statet
struct	path_symex_statet::framet
struct	path_symex_statet::threadt

Functions
path_symex_statet	initial_state (var_mapt &var_map, const locst &locs, path_symex_historyt &)

Detailed Description

State of path-based symbolic simulator.

Definition in file path_symex_state.h.

Function Documentation

initial_state()

path_symex_statet initial_state	(	var_mapt &	var_map,
		const locst &	locs,
		path_symex_historyt &
	)

Definition at line 29 of file path_symex_state.cpp.

References path_symex_statet::add_thread(), locst::entry_loc, path_symex_statet::threadt::pc, and path_symex_statet::set_current_thread().

Referenced by path_searcht::operator()().