|
ilang
1.1.4
ILAng: A Modeling and Verification Platform for SoCs
|
Instruction transition edge, includeing: More...
#include <transition.h>
Public Types | |
|
typedef std::shared_ptr < InstrTranEdge > | ItEdgePtr |
| Pointer type for passing around the InstrTran. | |
Public Member Functions | |
| InstrTranEdge (const InstrPtr &src, const InstrPtr &dst, const ExprPtr &cnd) | |
| Constructor with all components. | |
| ~InstrTranEdge () | |
| Default destructor. | |
| const InstrPtr | src () const |
| Return the source instruction. | |
| const InstrPtr | dst () const |
| Return the target instruction. | |
| const ExprPtr | cnd () const |
| Return the guarded transition condition. | |
Instruction transition edge, includeing:
1.8.5