ilang  0.9.1
ILAng: A Modeling and Verification Platform for SoCs
Public Types | Public Member Functions | List of all members
ilang::InstrTranEdge Class Reference

Instruction transition edge, includeing: More...

#include <transition.h>

Public Types

typedef std::shared_ptr< InstrTranEdgeItEdgePtr
 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.
 

Detailed Description

Instruction transition edge, includeing:


The documentation for this class was generated from the following file: