---

mpcl::invariant Namespace Reference

Name-space for INVARIANT. More...

Compounds
class	IVerifier
class	TException
	Exception: parent exception class for INVARIANT. More...
class	TInvariant
	Invariant holder. More...
class	TViolationException
	Exception: requirement violated. More...
Typedefs
typedef std::set< int >	TConformanceLevelSet
	Conformance level set.

---

Detailed Description

Name-space for INVARIANT.

---