ilang::RelationMap Class Reference

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

#include <v_eq_check_refinement.h>

Public Types
typedef std::shared_ptr < RelationMap >	RelPtr
	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:

• v_eq_check_refinement.h