ilang  1.0.2
ILAng: A Modeling and Verification Platform for SoCs
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: