MPS 2019.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

value

set value

Operand type

Parameter type

Result type

mapping<KeyType, ValueType>

ValueType

ValueType

value = newValue;

get key

Operand type

Parameter type

Result type

map<KeyType, ValueType>

none

KeyType

key;
Last modified: 30 August 2019