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

The class of memory (array) Sort. More...

#include <sort.h>

Inheritance diagram for ilang::SortMem:
ilang::Sort ilang::Ast ilang::Object

Public Member Functions

 SortMem (const int &addr_w, const int &data_w)
 Default constructor.
 
 ~SortMem ()
 Default destructor.
 
bool is_mem () const
 Return true since it is memory (array) Sort.
 
int addr_width () const
 Return the bit-width of address (index).
 
int data_width () const
 Return the bit-width of data (value).
 
z3::sort GetZ3Sort (z3::context &ctx) const
 Return the z3::sort of array.
 
z3::expr GetZ3Expr (z3::context &ctx, const std::string &name) const
 Return a z3 variable of the Sort.
 
bool Equal (const SortPtr rhs) const
 Compare with another Sort.
 
std::ostream & Print (std::ostream &out) const
 Print out to output stream.
 
- Public Member Functions inherited from ilang::Sort
 Sort ()
 Default constructor.
 
virtual ~Sort ()
 Virtual default destructor.
 
virtual bool is_bool () const
 Return true if have Boolean sort.
 
virtual bool is_bv (const int &width=0) const
 Return true if have bit-vector sort.
 
virtual int bit_width () const
 Return the bit-width of bit-vector sort.
 
- Public Member Functions inherited from ilang::Ast
 Ast ()
 Default constructor.
 
 Ast (const std::string &name)
 Constructor with name.
 
virtual ~Ast ()
 Default destructor.
 
bool is_ast () const
 Is type Ast.
 
virtual bool is_expr () const
 Is type Ast::Expr.
 
virtual bool is_func () const
 Is type Ast::Func.
 
InstrLvlAbsPtr host () const
 Return the hosting ILA.
 
void set_host (InstrLvlAbsPtr host)
 Set the hosting ILA.
 
- Public Member Functions inherited from ilang::Object
 Object ()
 Default constructor.
 
 Object (const std::string &name)
 Constructor with string name.
 
virtual ~Object ()
 Default destructor.
 
const Symbolname () const
 Get the symbol (name).
 
virtual bool is_instr_lvl_abs () const
 Is type InstrLvlAbs.
 
virtual bool is_instr () const
 Is type Instr.
 

Additional Inherited Members

- Public Types inherited from ilang::Sort
typedef std::shared_ptr< SortSortPtr
 Pointer type for storing/passing Sort.
 
- Public Types inherited from ilang::Ast
typedef std::shared_ptr< InstrLvlAbsInstrLvlAbsPtr
 Type for forward declaration of ILA.
 
- Public Types inherited from ilang::Object
typedef std::shared_ptr< ObjectObjPtr
 Pointer type for normal use of Object.
 
- Static Public Member Functions inherited from ilang::Sort
static SortPtr MakeBoolSort ()
 Create a Boolean Sort.
 
static SortPtr MakeBvSort (const int &bit_width)
 Create a bit-vector Sort.
 
static SortPtr MakeMemSort (const int &addr_width, const int &data_width)
 Create a memory (array) Sort.
 

Detailed Description

The class of memory (array) Sort.


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