# ref_impl_eiffel [255] AWB-32: Simplify the implementation, and add a postcondition.

**Category:** [Reference Implementation: Eiffel (archive)](https://discourse.openehr.org/c/reference-implementation-eiffel-archive/161)
**Created:** 2007-05-27 10:16 UTC
**Views:** 1
**Replies:** 0
**URL:** https://discourse.openehr.org/t/ref-impl-eiffel-255-awb-32-simplify-the-implementation-and-add-a-postcondition/12422

---

## Post #1 by @svn1

Revision: 255
Author:   peter\.gummer

Log Message:

---


**Canonical:** https://discourse.openehr.org/t/ref-impl-eiffel-255-awb-32-simplify-the-implementation-and-add-a-postcondition/12422
**Original content:** https://discourse.openehr.org/t/ref-impl-eiffel-255-awb-32-simplify-the-implementation-and-add-a-postcondition/12422