ilang  1.0.2
ILAng: A Modeling and Verification Platform for SoCs
Public Types | Public Member Functions | Friends | List of all members
ilang::BvVal Class Reference

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< BvValBvValPtr
 Pointer type for all use of BvVal.
- Public Types inherited from ilang::Value
typedef std::shared_ptr< ValueValPtr
 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 BvValTypeval () 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.


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: