【问题标题】:HOw to check range in alloy language?如何检查合金语言的范围? 【发布时间】:2020-08-19 18:59:22 【问题描述】: 我必须生成一个 als 脚本来检查范围,例如 10.0.0.0 – 10.255.255.255。有没有办法做到这一点? 【问题讨论】: 标签: alloy-ui 【解决方案1】: 取决于最终目标是什么,但一个好的开始是为 IP 地址的结构编写一个签名,其中包含 IP 组件的抽象值,然后声明一个排序。 【讨论】: