Operation Boolean isSubComplex (GM_Complex c), in Class TS_FeatureComponent

Documentation
Determines whether the parameter complex is a subcomplex of the Complex.
One complex is a subcomplex of another if 1) it is a complex (closed under boundary) and 2) is a subset of the complex.


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics