ilang  0.9.1
ILAng: A Modeling and Verification Platform for SoCs
Public Member Functions | Static Public Member Functions | List of all members
ilang::SortRef Class Reference

The wrapper of Sort (type for different AST nodes). More...

#include <ilang++.h>

Public Member Functions

 SortRef (SortPtr ptr)
 Constructor with the pointer of the actual data.
 
 ~SortRef ()
 Default destructor.
 
SortPtr get () const
 Return the wrapped Sort pointer.
 

Static Public Member Functions

static SortRef BOOL ()
 Return a Boolean Sort.
 
static SortRef BV (const int &bit_w)
 Return a bit-vector Sort of the given bit-width.
 
static SortRef MEM (const int &addr_w, const int &data_w)
 Return a memory (array) Sort of the given address/data bit-width.
 

Detailed Description

The wrapper of Sort (type for different AST nodes).


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