DESCRIPTION¶
Returns an array with the values of mapping map. If index is given as a number between 0 and the width of the mapping, the values from the given column are returned, else the values of the first column.
USAGE¶
mapping m = ([ "foo":1;2;3, "bar":4;5;6, "baz":7;8;9 ])
m_values(m) // returns ({ 1, 4, 7 }) or some permutation thereof
m_values(m, 0) // returns ({ 1, 4, 7 }) (ditto)
m_values(m, 1) // returns ({ 2, 8, 9 }) (ditto)
Note
The exact order of the values in the resulting arrays is not specified, and may vary after any change to the mapping. The only guarantee given is that if m_indices(E) and m_values(E) are taken at the same time, the order of both results is identical.
SEE ALSO¶
mappingp(E), mkmapping(E), m_indices(E), m_add(E), m_delete(E), sizeof(E), widthof(E), unmkmapping(E).