cprover
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()