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

Relation mapping defines how arch states of two models are mapped, i.e., state mapping. More...

#include <comp_ref_rel.h>

Public Types

typedef std::shared_ptr< RelationMapRelPtr
 Pointer type for passing around the relation mapping.
 

Public Member Functions

 RelationMap ()
 Default constructor.
 
 ~RelationMap ()
 Default destructor.
 
void add (const ExprPtr rel)
 Add one relation.
 
ExprPtr get () const
 Return the conjuncted (ANDed) relation.
 

Static Public Member Functions

static RelPtr New ()
 Create a new relation mapping. Used for hiding implementation specific type details.
 

Detailed Description

Relation mapping defines how arch states of two models are mapped, i.e., state mapping.


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