ilang
1.1.4
ILAng: A Modeling and Verification Platform for SoCs
|
This is the complete list of members for ilang::Instr, including all inherited members.
decode() const | ilang::Instr | inline |
ForceAddUpdate(const std::string &name, const ExprPtr &update) | ilang::Instr | |
ForceSetDecode(const ExprPtr &decode) | ilang::Instr | |
host() const | ilang::Instr | inline |
Instr(const std::string &name, const InstrLvlAbsPtr &host=nullptr) | ilang::Instr | |
InstrCnstPtr typedef | ilang::Instr | |
InstrPtr typedef | ilang::Instr | |
is_ast() const | ilang::Object | inlinevirtual |
is_instr() const | ilang::Instr | inlinevirtual |
is_instr_lvl_abs() const | ilang::Object | inlinevirtual |
name() const | ilang::Object | |
New(const std::string &name, InstrLvlAbsPtr host=nullptr) | ilang::Instr | static |
Object() | ilang::Object | |
Object(const std::string &name) | ilang::Object | |
ObjPtr typedef | ilang::Object | |
operator<<(std::ostream &out, InstrPtr i) | ilang::Instr | friend |
operator<<(std::ostream &out, InstrCnstPtr i) | ilang::Instr | friend |
Print(std::ostream &out) const | ilang::Instr | virtual |
program() const | ilang::Instr | inline |
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 typedef | ilang::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::Object | virtual |