ilang
1.1.4
ILAng: A Modeling and Verification Platform for SoCs
|
Instruction Sequencing does: More...
#include <transition.h>
Public Types | |
typedef std::shared_ptr< InstrSeq > | InstrSeqPtr |
Pointer type for passing around InstrSeq. | |
Public Member Functions | |
InstrSeq () | |
Default constructor. | |
~InstrSeq () | |
Default destructor. | |
void | clear () |
Reset all stored sequences. | |
void | AddTran (const InstrPtr &src, const InstrPtr &dst, const ExprPtr &cnd) |
Add one transition to the set. | |
void | set_root (const InstrPtr &i) |
Set the root node (entry instruction). | |
InstrPtr | root () const |
Return the root node (entry instruction). | |
Static Public Member Functions | |
static InstrSeqPtr | New () |
Create a new ITG, used for hiding implementation specific types. | |
Instruction Sequencing does: