ilasynth::CVar Class Reference

#include <genCBMC.hpp>

Public Member Functions
	CVar (nptr_t nptr, const std::string &name="")
	CVar (const Node *node, const std::string &name="")
	CVar (int width)
	CVar (const std::string &name, const std::string &val)
	CVar (const CVar *var)
	~CVar ()
std::string	def () const
std::string	refDef () const
std::string	use () const
std::string	signedUse () const
std::string	exactUse () const
std::string	castUse () const
std::string	memdef () const
std::string	ctype () const

Public Attributes
bool	memberVar

Static Public Attributes
static int	varCnt
static std::string	boolStr
static std::string	bvStr
static std::string	memStr
static std::string	voidStr

Protected Attributes
std::string	_type
std::string	_name
std::string	_val
int	_width
int	_idxWidth
bool	_isConst

Private Member Functions
void	init (nptr_t n)
void	init (const Node *n)

Friends
class	CFun
class	CVerifGen

Constructor & Destructor Documentation

CVar() [1/5]

ilasynth::CVar::CVar	(	nptr_t	nptr,
		const std::string &	name = ""
	)

CVar() [2/5]

ilasynth::CVar::CVar	(	const Node *	node,
		const std::string &	name = ""
	)

CVar() [3/5]

ilasynth::CVar::CVar

(

int

width

)

CVar() [4/5]

ilasynth::CVar::CVar	(	const std::string &	name,
		const std::string &	val
	)

CVar() [5/5]

ilasynth::CVar::CVar

(

const CVar *

var

)

~CVar()

ilasynth::CVar::~CVar

(

)

Member Function Documentation

castUse()

std::string ilasynth::CVar::castUse

(

)

const

ctype()

std::string ilasynth::CVar::ctype

(

)

const

def()

std::string ilasynth::CVar::def

(

)

const

exactUse()

std::string ilasynth::CVar::exactUse

(

)

const

init() [1/2]

void ilasynth::CVar::init ( nptr_t  n )

private

init() [2/2]

void ilasynth::CVar::init ( const Node *  n )

private

memdef()

std::string ilasynth::CVar::memdef

(

)

const

refDef()

std::string ilasynth::CVar::refDef

(

)

const

signedUse()

std::string ilasynth::CVar::signedUse

(

)

const

use()

std::string ilasynth::CVar::use

(

)

const

Friends And Related Function Documentation

CFun

friend class CFun

friend

CVerifGen

friend class CVerifGen

friend

Member Data Documentation

_idxWidth

int ilasynth::CVar::_idxWidth

protected

_isConst

bool ilasynth::CVar::_isConst

protected

_name

std::string ilasynth::CVar::_name

protected

_type

std::string ilasynth::CVar::_type

protected

_val

std::string ilasynth::CVar::_val

protected

_width

int ilasynth::CVar::_width

protected

boolStr

std::string ilasynth::CVar::boolStr

static

bvStr

std::string ilasynth::CVar::bvStr

static

memberVar

bool ilasynth::CVar::memberVar

memStr

std::string ilasynth::CVar::memStr

static

varCnt

int ilasynth::CVar::varCnt

static

voidStr

std::string ilasynth::CVar::voidStr

static

---

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

• genCBMC.hpp