stack_framet Class Reference

#include <symex_target.h>

Public Member Functions
	stack_framet (const irep_idt &func, const symex_targett::sourcet &__src)
	stack_framet (const irep_idt &func)
stack_framet &	operator= (const stack_framet &)=default
	stack_framet (const stack_framet &ref)
bool	_cmp (const stack_framet &ref) const

Public Attributes
irep_idt	function
symex_targett::sourcet	_src
const symex_targett::sourcet *	src

Constructor & Destructor Documentation

stack_framet() [1/3]

stack_framet::stack_framet ( const irep_idt & func, const symex_targett::sourcet & __src )

inline

stack_framet() [2/3]

stack_framet::stack_framet ( const irep_idt & func )

inline

stack_framet() [3/3]

stack_framet::stack_framet ( const stack_framet & ref )

inline

Member Function Documentation

_cmp()

bool stack_framet::_cmp ( const stack_framet & ref ) const

inline

operator=()

stack_framet & stack_framet::operator= ( const stack_framet & )

default

Member Data Documentation

_src

symex_targett::sourcet stack_framet::_src

function

irep_idt stack_framet::function

src

const symex_targett::sourcet* stack_framet::src

---

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

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