2006/11/22, Thomas Beale <Thomas.Beale at oceaninformatics.biz>:
>
> See the class LOCATABLE - you will see it has the invariant:
>
> Archetyped_valid: is_archetype_root xor archetype_details = Void
>
> this means that if is_archetype_root is True, then archetype_details /=
> Void


Ah, it says 'xor' and not 'or' :-)

Thanks,

Mattias

- thomas
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: 
<http://lists.openehr.org/mailman/private/openehr-technical_lists.openehr.org/attachments/20061122/7ea6c656/attachment.html>
-------------- next part --------------
_______________________________________________
openEHR-technical mailing list
openEHR-technical at openehr.org
http://www.chime.ucl.ac.uk/mailman/listinfo/openehr-technical

Reply via email to