|
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:
1.8.5