ilang  1.1.4
ILAng: A Modeling and Verification Platform for SoCs
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Friends Macros
Public Types | Public Member Functions | List of all members
ilang::Object Class Referenceabstract

The basest type in the ILA structure. It can be either Ast, Instr, or InstrLvlAbs. More...

#include <object.h>

Inheritance diagram for ilang::Object:
ilang::Ast ilang::Instr ilang::InstrLvlAbs ilang::Expr ilang::Func ilang::Sort ilang::ExprConst ilang::ExprOp ilang::ExprVar ilang::SortBool ilang::SortBv ilang::SortMem ilang::ExprOpAdd ilang::ExprOpAnd ilang::ExprOpAppFunc ilang::ExprOpAshr ilang::ExprOpCompl ilang::ExprOpConcat ilang::ExprOpDiv ilang::ExprOpEq ilang::ExprOpExtract ilang::ExprOpGt ilang::ExprOpImply ilang::ExprOpIte ilang::ExprOpLoad ilang::ExprOpLRotate ilang::ExprOpLshr ilang::ExprOpLt ilang::ExprOpMul ilang::ExprOpNeg ilang::ExprOpNot ilang::ExprOpOr ilang::ExprOpRRotate ilang::ExprOpSExt ilang::ExprOpShl ilang::ExprOpSMod ilang::ExprOpSRem ilang::ExprOpStore ilang::ExprOpSub ilang::ExprOpUgt ilang::ExprOpUlt ilang::ExprOpURem ilang::ExprOpXor ilang::ExprOpZExt

Public Types

typedef std::shared_ptr< ObjectObjPtr
 Pointer type for normal use of Object.
 

Public Member Functions

 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.
 
virtual bool is_ast () const
 Is type Ast.
 
virtual std::ostream & Print (std::ostream &out) const =0
 Output function.
 

Detailed Description

The basest type in the ILA structure. It can be either Ast, Instr, or InstrLvlAbs.


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