: Public Note
Created: |
4/20/2012 3:12:12 PM |
Modified: |
4/20/2012 3:12:25 PM |
|
Project: |
|
Author: |
lutzmic |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Difficulty: |
|
Priority: |
|
Multiplicity: |
|
Advanced: |
|
UUID: |
{B589F817-A14C-4b67-976B-3274F074D1BE} |
Appears In: |
WFD |
mainAndLargeNotForCanals<br /></p><p>/* Main and large attributes may not be specified for canals */<br /></p><p>inv: if ((self.artificial = True) or (self.heavilyModified = True)) then ((self->count(main)=0) and (self->count(large)=0))<br /></p>