goto_symext::deferred_assumptiont Struct Reference

#include <goto_symex.h>

Public Attributes
expr2tc	guard
expr2tc	cond
symex_targett::sourcet	source
unsigned	loop_number

Member Data Documentation

cond

expr2tc goto_symext::deferred_assumptiont::cond

guard

expr2tc goto_symext::deferred_assumptiont::guard

loop_number

unsigned goto_symext::deferred_assumptiont::loop_number

source

symex_targett::sourcet goto_symext::deferred_assumptiont::source

---

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

• src/goto-symex/engine/goto_symex.h