ilang  0.9.1
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:
ilang::Value

Public Types

typedef int BvValType
 Data type for storing BvVal.
 
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 int &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 int & 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: