: Public Note
Created: |
10-04-2008 12:16:11 |
Modified: |
10-04-2008 12:16:11 |
|
Project: |
|
Author: |
|
Version: |
|
Phase: |
|
Status: |
|
Complexity: |
|
Difficulty: |
|
Priority: |
|
Multiplicity: |
|
Advanced: |
|
UUID: |
{BE0433AF-4EEC-442b-ABD1-52238B8F6BC5} |
Appears In: |
Fig 46: Complex View |
-- the maximalComplex contains this complex<br /></p><p>{superComplex->contains(maximalComplex)}<br /></p><p>-- a maximal complex is contained only in itself<br /></p><p>{(self = maximalComplex) implies (superComplex = {self}) }<br /></p><p>{isMaximal() implies (self = maximalComplex)}<br /></p>