sort_value.h File Reference

#include <cstdint>
#include <map>
#include <memory>
#include <ostream>
#include <string>

Go to the source code of this file.

Classes
class	ilang::Value
	The base type for constant value. More...
class	ilang::BoolVal
	The container for representing Boolean values. More...
class	ilang::BvVal
	The container for representing Bitvector values. More...
class	ilang::MemVal
	The container for representing memory (array) values. More...

Namespaces
	ilang

Macros
#define	BvValTypeBitWidth   (8 * sizeof(BvValType))
	Macro for getting max bit-width of numeric type.

Typedefs
typedef Value::ValPtr	ilang::ValPtr
	Pointer type for all use of Value.
typedef BoolVal::BoolValPtr	ilang::BoolValPtr
	Pointer type for all use of BoolVal.
typedef BvVal::BvValType	ilang::BvValType
	Data type for storing BvVal.
typedef BvVal::BvValPtr	ilang::BvValPtr
	Pointer type for all use of BvVal.
typedef MemVal::MemValPtr	ilang::MemValPtr
	Pointer type for all use of MemVal.
typedef MemVal::MemValMap	ilang::MemValMap
	Type for storing the address/data mapping.

Detailed Description

Header for the class BoolVal, BvVal, and MemVal