The container for representing memory (array) values. More...

#include <sort_value.h>

Inheritance diagram for ilang::MemVal:

Public Types
typedef std::shared_ptr< MemVal >	MemValPtr
	Pointer type for all use of MemVal.

typedef std::map< BvValType, BvValType >	MemValMap
	Type for storing the address/data mapping.

Public Types inherited from ilang::Value
typedef std::shared_ptr< Value >	ValPtr
	Pointer type for all use of Value.

Public Member Functions
	MemVal (const BvValType &def_val)
	Constructor with only the default value.

	MemVal (const BvValType &def_val, const MemValMap &vals)
	Constructor with an existed Memory value.

	~MemVal ()
	Default destructor.

const MemValMap &	val_map () const
	Return the map of addr/data.

const BvValType &	def_val () const
	Return the default value.

const BvValType &	get_data (const BvValType &addr) const
	Return the value stored in the address.

void	set_data (const BvValType &addr, const BvValType &data)
	Set the value stored in the address.

std::ostream &	Print (std::ostream &out) const
	Output to stream.

Public Member Functions inherited from ilang::Value
virtual	~Value ()
	virtual destructor.

Friends
std::ostream &	operator<< (std::ostream &out, const MemVal &val)
	Overload output stream operator.

Detailed Description

The container for representing memory (array) values.

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

Public Types