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:

• ilang++.h