uppaal - 你可以在 uppaal 中 decalare 一个 json 数组吗？

Question

我正在尝试在 uppaal 中对 ATM 系统进行建模，并且我想使用 json 数组，例如用于 card_ID 和 pin 号的数据库，如下所示： [ { id : 12548, pin: 1244 }] 这可能吗？

标签： uppaal

Answer 1

不，不支持 JSON 语法。但是可以批量初始化，例如：

typedef struct { int id, pin; } id_pin_t;
id_pin_t array[3] = {{1,2}, {3,4},{5,6}};