| MG Mud User | 88f1247 | 2016-06-24 23:31:02 +0200 | [diff] [blame] | 1 | SYNOPSIS |
| Zesstra | d59c389 | 2019-11-28 20:53:39 +0100 | [diff] [blame^] | 2 | mixed * unmkmapping(mapping map) |
| MG Mud User | 88f1247 | 2016-06-24 23:31:02 +0200 | [diff] [blame] | 3 | |
| 4 | BESCHREIBUNG |
| 5 | Wandelt das Mapping <map> in ein Array von Arrays aus, das alle Keys |
| 6 | und Werte von <map> enthaelt und gibt dieses Array zurueck. |
| 7 | |
| 8 | Das Resultat von unmkmapping() hat die Form ({ keys[], data0[], |
| 9 | data1[] ... }), wobei keys[] ein Array aller Keys ist, data0[] ein |
| 10 | Array mit allen Werten aus der ersten Spalte, data1[] ein Array mit |
| 11 | allen Werten aus der zweiten Spalte etc. Das heisst, dass die |
| 12 | Werte von key[x] in data0[x], data1[x] usw. gespeichert sind. |
| 13 | |
| 14 | unmkmapping() ist die Umkehrfunktion von mkmapping(), sodass gilt: |
| 15 | |
| 16 | apply(#'mkmapping, unmkmapping(m)) == m |
| 17 | |
| Zesstra | d59c389 | 2019-11-28 20:53:39 +0100 | [diff] [blame^] | 18 | BEISPIELE |
| MG Mud User | 88f1247 | 2016-06-24 23:31:02 +0200 | [diff] [blame] | 19 | mapping m = ([ 1:10;20, 2:11;21 ]); |
| 20 | unmkmapping(m) ergibt: ({ ({1, 2}) , ({10, 11}) , ({20, 21}) }) |
| 21 | |
| Zesstra | d59c389 | 2019-11-28 20:53:39 +0100 | [diff] [blame^] | 22 | GESCHICHTE |
| MG Mud User | 88f1247 | 2016-06-24 23:31:02 +0200 | [diff] [blame] | 23 | Eingefuehrt in LDMud 3.2.6. |
| 24 | |
| 25 | SIEHE AUCH |
| 26 | mappings(LPC), mappingp(E), m_indices(E), m_values(E), m_delete(E), |
| 27 | sizeof(E), widthof(E). |