: Public Note
Created: 4/20/2012 3:12:12 PM
Modified: 4/20/2012 3:12:25 PM
Project:
Advanced:
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>