ilang::CompRefRel Class Reference

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

#include <v_eq_check_refinement.h>

Public Types
typedef std::shared_ptr < CompRefRel >	CrrPtr
	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.

• how to start (apply function),
• what to compare (relation), and
• when to check (refinement).

---

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

• v_eq_check_refinement.h