symex_targett::sourcet Struct Reference

#include <symex_target.h>

Public Member Functions
	sourcet ()
	sourcet (goto_programt::const_targett _pc, const goto_programt *_prog)

Public Attributes
unsigned	thread_nr
goto_programt::const_targett	pc
const goto_programt *	prog
bool	is_set

Constructor & Destructor Documentation

sourcet() [1/2]

symex_targett::sourcet::sourcet ( )

inline

sourcet() [2/2]

symex_targett::sourcet::sourcet ( goto_programt::const_targett _pc, const goto_programt * _prog )

inline

Member Data Documentation

is_set

bool symex_targett::sourcet::is_set

pc

goto_programt::const_targett symex_targett::sourcet::pc

prog

const goto_programt* symex_targett::sourcet::prog

thread_nr

unsigned symex_targett::sourcet::thread_nr

---

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

• src/goto-symex/equation/symex_target.h