ilang  1.1.4
ILAng: A Modeling and Verification Platform for SoCs
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Friends Macros
ilang::Instr Member List

This is the complete list of members for ilang::Instr, including all inherited members.

decode() const ilang::Instrinline
ForceAddUpdate(const std::string &name, const ExprPtr &update)ilang::Instr
ForceSetDecode(const ExprPtr &decode)ilang::Instr
host() const ilang::Instrinline
Instr(const std::string &name, const InstrLvlAbsPtr &host=nullptr)ilang::Instr
InstrCnstPtr typedefilang::Instr
InstrPtr typedefilang::Instr
is_ast() const ilang::Objectinlinevirtual
is_instr() const ilang::Instrinlinevirtual
is_instr_lvl_abs() const ilang::Objectinlinevirtual
name() const ilang::Object
New(const std::string &name, InstrLvlAbsPtr host=nullptr)ilang::Instrstatic
Object()ilang::Object
Object(const std::string &name)ilang::Object
ObjPtr typedefilang::Object
operator<<(std::ostream &out, InstrPtr i)ilang::Instrfriend
operator<<(std::ostream &out, InstrCnstPtr i)ilang::Instrfriend
Print(std::ostream &out) const ilang::Instrvirtual
program() const ilang::Instrinline
set_decode(const ExprPtr &decode)ilang::Instr
set_program(const InstrLvlAbsPtr &program)ilang::Instr
set_update(const std::string &name, const ExprPtr &update)ilang::Instr
set_update(const ExprPtr &state, const ExprPtr &update)ilang::Instr
StateNameSet typedefilang::Instr
update(const std::string &name) const ilang::Instr
update(const ExprPtr &state) const ilang::Instr
updated_states() const ilang::Instr
~Instr()ilang::Instr
~Object()ilang::Objectvirtual