MPS 2019.1 Help

Mapping

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: 12 April 2019