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

The class of bit-vector Sort. More...

#include <sort.h>

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

Public Member Functions

 SortBv (const int &width)
 Default constructor.
 ~SortBv ()
 Default destructor.
bool is_bv (const int &width) const
 Return true since it is bit-vector Sort.
int bit_width () const
 Return the bit-width.
z3::sort GetZ3Sort (z3::context &ctx) const
 Return the z3::sort of bit-vector.
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_mem () const
 Return true if have memory (array) sort.
virtual int addr_width () const
 Return the bit-width of the address (index).
virtual int data_width () const
 Return the bit-width of the data (value).
- 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 bit-vector Sort.

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