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::CompRefRel Class Reference

Compositional refinement relation defines a unit (element for the composition) of refinement relation, which specifies. More...

#include <comp_ref_rel.h>

Public Types

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

Public Member Functions

 CompRefRel (const RefPtr ref_a, const RefPtr ref_b, const RelPtr rel)
 Default constructor.
 
 ~CompRefRel ()
 Default destructor.
 
RefPtr refine_a () const
 Return the refinement for model A.
 
RefPtr refine_b () const
 Return the refinement for model B.
 
RelPtr relation () const
 Return the relation (state mapping) between model A and B.
 

Static Public Member Functions

static CrrPtr New (const RefPtr ref_a=RefinementMap::New(), const RefPtr ref_b=RefinementMap::New(), const RelPtr rel=RelationMap::New())
 Create a new CRR object. Used for hiding implementation specific type details.
 

Detailed Description

Compositional refinement relation defines a unit (element for the composition) of refinement relation, which specifies.


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