vart Class Reference

#include <goto_contractor.h>

Public Member Functions
size_t	getIndex () const
	vart ()
	vart (const string &varName, const expr2tc &symbol, const size_t &index)
const ibex::Interval &	getInterval () const
void	setInterval (const ibex::Interval &interval)
bool	isIntervalChanged () const
void	setIntervalChanged (bool intervalChanged)
const expr2tc &	getSymbol () const
void	dump () const

Constructor & Destructor Documentation

vart() [1/2]

vart::vart

(

)

vart() [2/2]

vart::vart	(	const string &	varName,
		const expr2tc &	symbol,
		const size_t &	index )

Member Function Documentation

dump()

void vart::dump

(

)

const

getIndex()

size_t vart::getIndex

(

)

const

getInterval()

const ibex::Interval & vart::getInterval

(

)

const

getSymbol()

const expr2tc & vart::getSymbol

(

)

const

isIntervalChanged()

bool vart::isIntervalChanged

(

)

const

setInterval()

void vart::setInterval

(

const ibex::Interval &

interval

)

setIntervalChanged()

void vart::setIntervalChanged

(

bool

intervalChanged

)

---

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

• src/goto-programs/goto_contractor.h
• src/goto-programs/goto_contractor.cpp