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: