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 ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics