# [ref_impl_eiffel] [798] Implemented existence and cardinality reference model checking.

**Category:** [Reference Implementation: Eiffel (archive)](https://discourse.openehr.org/c/reference-implementation-eiffel-archive/161)
**Created:** 2009-02-09 23:47 UTC
**Views:** 10
**Replies:** 0
**URL:** https://discourse.openehr.org/t/ref-impl-eiffel-798-implemented-existence-and-cardinality-reference-model-checking/13184

---

## Post #1 by @svn1

Revision: 798
Author:   thomas\.beale

Log Message:

---


**Canonical:** https://discourse.openehr.org/t/ref-impl-eiffel-798-implemented-existence-and-cardinality-reference-model-checking/13184
**Original content:** https://discourse.openehr.org/t/ref-impl-eiffel-798-implemented-existence-and-cardinality-reference-model-checking/13184