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 | | Concurrency | Sequential |
Export Control | PublicAccess | | |
Preconditions
Postconditions
Semantics