Operation Set<CV_DomainObject>
evaluateInverse (Record v), in Class CV_Coverage
Documentation
The operation "evaluateInverse" shall accept a Record of values as input and return a set of CV_DomainObjects. Normally, this will be the set of CV_DomainObjects in the Domain that are associated with values equal to those in the input Record. However, the operation may return other CV_DomainObjects derived from those in the Domain, as specified by the application schema.
Protocol | | Qualification | |
Exceptions | | Size | |
Time | | Concurrency | Sequential |
Export Control | PublicAccess | | |
Preconditions
Postconditions
Semantics