MPS 2023.2 Help

Mapping

A helper type used by map and sorted_map.

Mapping type

mapping<KeyType, ValueType>

Subtypes

Supertypes

Comparable types

none

none

none

Operations on mapping

get value

Operand type

Parameter type

Result type

mapping<KeyType, ValueType>

none

ValueType

mapping.value

set value

Operand type

Parameter type

Result type

mapping<KeyType, ValueType>

ValueType

ValueType

mapping.value = newValue;

get key

Operand type

Parameter type

Result type

map<KeyType, ValueType>

none

KeyType

mapping.key;

Last modified: 23 March 2021