|
ilang
1.1.4
ILAng: A Modeling and Verification Platform for SoCs
|
|
ilang
1.1.4
ILAng: A Modeling and Verification Platform for SoCs
|
The class of bit-vector Sort. More...
#include <sort.h>
Public Member Functions | |
| SortBv (const int &width) | |
| Default constructor. | |
| ~SortBv () | |
| Default destructor. | |
| AstUidSort | uid () const |
| Return the unified ID of SortBv. | |
| 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 (const 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 Symbol & | name () 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< Sort > | SortPtr |
| Pointer type for storing/passing Sort. | |
| Public Types inherited from ilang::Object | |
| typedef std::shared_ptr< Object > | ObjPtr |
| 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. | |
| Protected Types inherited from ilang::Ast | |
|
typedef std::shared_ptr < InstrLvlAbs > | InstrLvlAbsPtr |
| Type for forward declaration of ILA. | |
The class of bit-vector Sort.
1.8.5
