代码之家 › 专栏 › 技术社区 › Roger Costello

如何将年份字段限制为1-4?

alloy

Roger Costello · 技术社区 · 6 年前

有一组大学生:

sig Student {}

每个学生都有一个属性,指示他/她在大学的哪一年(第一年、第二年等):

sig Student {
    year: Int
}

年份值必须是1、2、3或4。下面是限制年份字段的一种方法:

sig Student {
    year: Int
} {
 year in {i: Int | i=1 or i=2 or i=3 or i=4}
}

有没有更好(更简单、更直观)的方法来限制年份?

1 回复 | 直到 6 年前

Peter Kriens 6 年前

-- Enumerate
let YEARS = 1+2+3+4

-- or Range
let YEARS = { y : Int | y >= 1 and y <= 4 }

sig Student { year: Int } {
  year in YEARS
}

或者更简洁

sig Student { year: YEARS }

推荐文章

Roger Costello · 检查两种方法的等效性,以确保所有酒店客人都能获得一套独特的钥匙

6 年前

Lorin Hochstein · 在MacOS上运行IDEA中的bnd结构化应用程序:未解决的需求:导入包:com。苹果eawt公司

6 年前

Roger Costello · 使用关系值创建签名字段是最佳做法吗?

6 年前

Roger Costello · 是否以XML形式查看实例?

6 年前

Roger Costello · 正确的术语:调用订购模块?是否使用订购模块?使用排序模块约束集合?

6 年前

Hovercouch · 合金中带量词的传递闭包

7 年前

Peter Kriens · 在合金中构建关系

7 年前

Paul · 我可以用Alloy来解决线性规划之类的问题吗?

7 年前

Roger Costello · 为什么在箭头表达式中使用的字段不同?

7 年前

johnf · 合金模型-如何在图形可视化中显示循环?

7 年前