cprover
|
Concrete Symbolic Transformer. More...
#include "path_symex_state.h"
Go to the source code of this file.
Functions | |
void | path_symex (path_symex_statet &state, std::list< path_symex_statet > &further_states) |
void | path_symex (path_symex_statet &state) |
void | path_symex_goto (path_symex_statet &state, bool taken) |
void | path_symex_assert_fail (path_symex_statet &state) |
Concrete Symbolic Transformer.
Definition in file path_symex.h.
void path_symex | ( | path_symex_statet & | state, |
std::list< path_symex_statet > & | further_states | ||
) |
Definition at line 1113 of file path_symex.cpp.
References path_symex().
Referenced by path_searcht::operator()(), path_symex(), path_symex_assert_fail(), and path_symex_goto().
void path_symex | ( | path_symex_statet & | state | ) |
Definition at line 1121 of file path_symex.cpp.
References path_symex().
void path_symex_assert_fail | ( | path_symex_statet & | state | ) |
Definition at line 1135 of file path_symex.cpp.
References path_symext::do_assert_fail(), and path_symex().
void path_symex_goto | ( | path_symex_statet & | state, |
bool | taken | ||
) |
Definition at line 1127 of file path_symex.cpp.
References path_symext::do_goto(), and path_symex().