你能在 uppaal 中声明一个 json 数组吗？
can you decalare a json array in uppaal?
我正在尝试在 uppaal 中为 ATM 系统建模，我想使用 json 数组作为 card_IDs 的数据库和密码，如下所示：
[ {
编号：12548，
引脚：1244
}]
这可能吗？
不，不支持 JSON 语法。但是可以批量初始化，例如：
typedef struct { int id, pin; } id_pin_t;
id_pin_t array[3] = {{1,2}, {3,4},{5,6}};
我正在尝试在 uppaal 中为 ATM 系统建模，我想使用 json 数组作为 card_IDs 的数据库和密码，如下所示： [ { 编号：12548， 引脚：1244 }] 这可能吗？
不，不支持 JSON 语法。但是可以批量初始化，例如：
typedef struct { int id, pin; } id_pin_t;
id_pin_t array[3] = {{1,2}, {3,4},{5,6}};