场景导出

点击 保存地图 按钮

会弹出下载框，选择文件要保存的路径

假设待保存的场景如下：

地图场景示例

导出的地图配置文件，命名为 map_4by4_1_2_ex.json

其中第一个4表示行数，第二个4表示列数，1表示障碍物数量，2表示小车数量，配置文件为json格式

{
    "dimension": [
        "4",
        "4"
    ],
    "agents": [
        {
            "start": [
                0,
                3
            ],
            "goal": [
                1,
                3
            ],
            "name": "agent1",
            "color": [
                231,
                76,
                60
            ]
        },
        {
            "start": [
                3,
                1
            ],
            "goal": [
                1,
                0
            ],
            "name": "agent2",
            "color": [
                46,
                204,
                113
            ]
        }
    ],
    "obstacles": [
        [
            1,
            1
        ]
    ],
    "wallRatio": -1
}