The container for representing Bitvector values. More...

#include <sort_value.h>

Inheritance diagram for ilang::BvVal:

Public Types
typedef uint64_t	BvValType
	Data type for storing BvVal. NOTE: SHOULD BE SYNCED WITH NumericType!!

typedef std::shared_ptr< BvVal >	BvValPtr
	Pointer type for all use of BvVal.

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

Public Member Functions
	BvVal (const BvValType &val)
	Constructor with boolean value.

	BvVal (const std::string &str)
	Constructor with cpp string.

	~BvVal ()
	Default destructor.

std::string	str () const
	Return the string representation of the value.

const BvValType &	val () const
	Return the arithmetic representation of the value.

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 BvVal &val)
	Overload output stream operator.

Detailed Description

The container for representing Bitvector values.

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

Public Types