cprover
|
#include <symex_target.h>
Public Member Functions | |
sourcet () | |
sourcet (goto_programt::const_targett _pc) | |
sourcet (const goto_programt &_goto_program) | |
Public Attributes | |
unsigned | thread_nr |
goto_programt::const_targett | pc |
bool | is_set |
Definition at line 29 of file symex_target.h.
|
inline |
Definition at line 35 of file symex_target.h.
|
inlineexplicit |
Definition at line 41 of file symex_target.h.
|
inlineexplicit |
Definition at line 49 of file symex_target.h.
bool symex_targett::sourcet::is_set |
Definition at line 33 of file symex_target.h.
Referenced by goto_symext::symex_function_call_code().
goto_programt::const_targett symex_targett::sourcet::pc |
Definition at line 32 of file symex_target.h.
Referenced by symex_bmct::get_unwind(), goto_symext::initialize_entry_point(), goto_symext::loop_bound_exceeded(), symex_bmct::merge_goto(), goto_symext::merge_gotos(), operator<(), goto_symext::parameter_assignments(), goto_symext::pop_frame(), goto_symext::return_assignment(), goto_symex_statet::switch_to_thread(), goto_symext::symex_allocate(), goto_symext::symex_assign(), goto_symext::symex_atomic_begin(), goto_symext::symex_catch(), goto_symext::symex_dead(), goto_symext::symex_decl(), goto_symext::symex_end_of_function(), goto_symext::symex_goto(), goto_symext::symex_instruction_range(), goto_symext::symex_other(), goto_symext::symex_start_thread(), symex_bmct::symex_step(), goto_symext::symex_step(), goto_symext::symex_step_goto(), goto_symext::symex_threaded_step(), goto_symext::symex_throw(), and goto_symext::symex_transition().
unsigned symex_targett::sourcet::thread_nr |
Definition at line 31 of file symex_target.h.
Referenced by goto_symex_statet::call_stack(), symex_bmct::get_unwind(), goto_symext::locality(), operator<(), goto_symext::phi_function(), goto_symex_statet::set_ssa_indices(), goto_symex_statet::switch_to_thread(), goto_symext::symex_function_call_code(), symex_bmct::symex_step(), and goto_symext::symex_threaded_step().