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

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

add_inv(const ExprPtr &inv)ilang::RefinementMap
appl() const ilang::RefinementMapinline
cmpl() const ilang::RefinementMapinline
coi() const ilang::RefinementMapinline
flush() const ilang::RefinementMapinline
ila() const ilang::RefinementMapinline
inv(const size_t &i) const ilang::RefinementMapinline
inv_num() const ilang::RefinementMapinline
New()ilang::RefinementMapstatic
RefinementMap()ilang::RefinementMap
RefPtr typedefilang::RefinementMap
set_appl(const ExprPtr &appl)ilang::RefinementMap
set_cmpl(const ExprPtr &cmpl)ilang::RefinementMap
set_flush(const ExprPtr &flush)ilang::RefinementMap
set_step(const int &step)ilang::RefinementMapinline
set_step_appl(const int &step)ilang::RefinementMap
set_step_orig(const int &step)ilang::RefinementMap
set_tgt(const InstrLvlAbsPtr &tgt)ilang::RefinementMap
set_tgt(const InstrPtr &tgt)ilang::RefinementMap
step() const ilang::RefinementMapinline
step_appl() const ilang::RefinementMapinline
step_orig() const ilang::RefinementMapinline
~RefinementMap()ilang::RefinementMap
Generated by   doxygen 1.8.5