cprover
symex_targett::sourcet Struct Reference

#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
 

Detailed Description

Definition at line 29 of file symex_target.h.

Constructor & Destructor Documentation

◆ sourcet() [1/3]

symex_targett::sourcet::sourcet ( )
inline

Definition at line 35 of file symex_target.h.

◆ sourcet() [2/3]

symex_targett::sourcet::sourcet ( goto_programt::const_targett  _pc)
inlineexplicit

Definition at line 41 of file symex_target.h.

◆ sourcet() [3/3]

symex_targett::sourcet::sourcet ( const goto_programt _goto_program)
inlineexplicit

Definition at line 49 of file symex_target.h.

Member Data Documentation

◆ is_set

bool symex_targett::sourcet::is_set

Definition at line 33 of file symex_target.h.

Referenced by goto_symext::symex_function_call_code().

◆ pc

◆ thread_nr


The documentation for this struct was generated from the following file: