ilasynth::CFun Class Reference

#include <genCBMC.hpp>

Public Member Functions
	CFun (const std::string &name)
	~CFun ()
bool	retSet ()

Protected Member Functions
void	addArg (const CVar *arg)
void	addBody (const std::string &code)
void	dumpDec (std::ostream &out, const std::string &modelName, const int &indent, bool decl=false) const
void	dumpVarDec (std::ostream &out, const int &indent) const
void	dumpCode (std::ostream &out, const int &indent) const
void	dumpCDec (std::ostream &out, const std::string &modelName, const int &indent) const

Protected Attributes
std::string	_name
std::vector< const CVar * >	_args
std::vector< std::string >	_codeList
std::vector< std::string >	_varList
CVar *	_ret
std::vector< std::pair< CVar *, CVar * > >	_updates

Friends
class	CVerifGen

Constructor & Destructor Documentation

CFun()

ilasynth::CFun::CFun

(

const std::string &

name

)

~CFun()

ilasynth::CFun::~CFun

(

)

Member Function Documentation

addArg()

void ilasynth::CFun::addArg ( const CVar *  arg )

protected

addBody()

void ilasynth::CFun::addBody ( const std::string &  code )

protected

dumpCDec()

void ilasynth::CFun::dumpCDec ( std::ostream &  out, const std::string &  modelName, const int &  indent  ) const

protected

dumpCode()

void ilasynth::CFun::dumpCode ( std::ostream &  out, const int &  indent  ) const

protected

dumpDec()

void ilasynth::CFun::dumpDec ( std::ostream &  out, const std::string &  modelName, const int &  indent, bool  decl = false  ) const

protected

dumpVarDec()

void ilasynth::CFun::dumpVarDec ( std::ostream &  out, const int &  indent  ) const

protected

retSet()

bool ilasynth::CFun::retSet ( )

inline

Friends And Related Function Documentation

CVerifGen

friend class CVerifGen

friend

Member Data Documentation

_args

std::vector<const CVar*> ilasynth::CFun::_args

protected

_codeList

std::vector<std::string> ilasynth::CFun::_codeList

protected

_name

std::string ilasynth::CFun::_name

protected

_ret

CVar* ilasynth::CFun::_ret

protected

_updates

std::vector<std::pair<CVar*, CVar*> > ilasynth::CFun::_updates

protected

_varList

std::vector<std::string> ilasynth::CFun::_varList

protected

---

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

• genCBMC.hpp