cprover
|
History for path-based symbolic simulator. More...
#include <cassert>
#include <limits>
#include <util/base_exceptions.h>
#include <util/std_expr.h>
#include "loc_ref.h"
Go to the source code of this file.
Classes | |
class | path_symex_step_reft |
class | path_symex_stept |
class | path_symex_historyt |
Functions | |
decision_proceduret & | operator<< (decision_proceduret &dest, path_symex_step_reft src) |
History for path-based symbolic simulator.
Definition in file path_symex_history.h.
|
inline |
Definition at line 130 of file path_symex_history.h.
References path_symex_stept::convert(), and path_symex_step_reft::is_nil().