ilang  1.1.4
ILAng: A Modeling and Verification Platform for SoCs
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Friends Macros
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
< 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.
 

Detailed Description

Instruction transition edge, includeing:


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