enum是Alloy语言的一部分吗？
在《软件摘要》一书中没有提到enum是Alloy语言的一部分吗？,alloy,Alloy,在《软件摘要》一书中没有提到enum 我见过人们在Alloy模型中使用enum，所以很明显Alloy工具支持它 我猜在Alloy的旧版本中，enum关键字是语言的一部分，支持enum的代码一直存在，尽管enum已从语言中删除。我猜对了吗？否，相反：enum是在本书出版后添加到语言中的。否，相反：enum是在本书出版后添加到语言中的。这些是本书出版后添加的功能。它们都非常有用 seq–列表。不幸的是，它们缺少一个文字，这使得它们有点难以使用 let–可以在谓词、函数或事实之外使用的宏。对于常量和
enumenum我猜在Alloy的旧版本中，
enumenumenum
–列表。不幸的是，它们缺少一个文字，这使得它们有点难以使用seq
–可以在谓词、函数或事实之外使用的宏。对于常量和其他小函数非常有用。不需要易于阅读的类型，但错误报告是令人沮丧的let
–可以访问规范中的字段和类型。如果您喜欢反射，这将非常好。初学者应该避免meta
–私有名称空间，对于更大的规范非常有用private
–允许您在没有解决方案时调试规范。促进使用小事实而不是分组unsat
这些新功能在中进行了描述。这些是本书出版后添加的功能。它们都非常有用
–列表。不幸的是，它们缺少一个文字，这使得它们有点难以使用seq
–可以在谓词、函数或事实之外使用的宏。对于常量和其他小函数非常有用。不需要易于阅读的类型，但错误报告是令人沮丧的let
–可以访问规范中的字段和类型。如果您喜欢反射，这将非常好。初学者应该避免meta
–私有名称空间，对于更大的规范非常有用private
–允许您在没有解决方案时调试规范。促进使用小事实而不是分组unsat