#include <memvalues.hpp>

Public Types
typedef std::map< mp_int_t, mp_int_t >	map_t

Public Member Functions
	MemValues ()

	MemValues (int addrWidth, int dataWidth, const py::object &def_val)

	MemValues (int addrWidth, int dataWidth, const map_t values, const mp_int_t def_value)

	MemValues (Z3ExprAdapter &c, const z3::model &m, const MemVar *mem)

	MemValues (const MemValues &that)

	~MemValues ()

MemValues &	operator= (const MemValues &that)

py::object	getDefault () const

void	setDefault (const py::object &dv)

py::object	getValues () const

py::object	getItem (const py::object &index) const

void	setItem (const py::object &index, const py::object &value)

bool	eq (const MemValues &mv) const

bool	operator== (const MemValues &mv) const

bool	semanticEqual (const MemValues &mv) const

z3::expr	toZ3 (z3::context &c) const

std::string	str () const

void	gc ()

mp_int_t	getItemInt (const mp_int_t &index) const

Public Attributes
NodeType	type

mp_int_t	MAX_ADDR

mp_int_t	def_value

map_t	values

Static Public Attributes
static z3::context	c_eq

static z3::solver	S_eq

Member Typedef Documentation

◆ map_t

typedef std::map<mp_int_t, mp_int_t> ilasynth::MemValues::map_t

Constructor & Destructor Documentation

◆ MemValues() [1/5]

ilasynth::MemValues::MemValues ( )

◆ MemValues() [2/5]

ilasynth::MemValues::MemValues	(	int	addrWidth,
		int	dataWidth,
		const py::object &	def_val
	)

◆ MemValues() [3/5]

ilasynth::MemValues::MemValues	(	int	addrWidth,
		int	dataWidth,
		const map_t	values,
		const mp_int_t	def_value
	)

◆ MemValues() [4/5]

ilasynth::MemValues::MemValues	(	Z3ExprAdapter &	c,
		const z3::model &	m,
		const MemVar *	mem
	)

◆ MemValues() [5/5]

ilasynth::MemValues::MemValues ( const MemValues & that )

◆ ~MemValues()

ilasynth::MemValues::~MemValues ( )

Member Function Documentation

◆ eq()

bool ilasynth::MemValues::eq ( const MemValues & mv ) const

inline

◆ gc()

void ilasynth::MemValues::gc ( )

◆ getDefault()

py::object ilasynth::MemValues::getDefault ( ) const

◆ getItem()

py::object ilasynth::MemValues::getItem ( const py::object & index ) const

◆ getItemInt()

mp_int_t ilasynth::MemValues::getItemInt ( const mp_int_t & index ) const

◆ getValues()

py::object ilasynth::MemValues::getValues ( ) const

◆ operator=()

MemValues& ilasynth::MemValues::operator= ( const MemValues & that )

◆ operator==()

bool ilasynth::MemValues::operator== ( const MemValues & mv ) const

◆ semanticEqual()

bool ilasynth::MemValues::semanticEqual ( const MemValues & mv ) const

◆ setDefault()

void ilasynth::MemValues::setDefault ( const py::object & dv )

◆ setItem()

void ilasynth::MemValues::setItem	(	const py::object &	index,
		const py::object &	value
	)

◆ str()

std::string ilasynth::MemValues::str ( ) const

◆ toZ3()

z3::expr ilasynth::MemValues::toZ3 ( z3::context & c ) const

Member Data Documentation

◆ c_eq

z3::context ilasynth::MemValues::c_eq

static

◆ def_value

mp_int_t ilasynth::MemValues::def_value

◆ MAX_ADDR

mp_int_t ilasynth::MemValues::MAX_ADDR

◆ S_eq

z3::solver ilasynth::MemValues::S_eq