MPS 2021.1 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