◆ MetricsMap

sequence<Metrics> MetricsMap

A sequence of metrics.

Remarks: We use a sequence here instead of a map because the ID of the metrics is already included in the Metrics class and using sequences of metrics objects is more efficient than using dictionaries since lookups are not necessary.

Definition at line 60 of file Metrics.ice.