文章/答案/技术大牛

发布

问B规范的改进
EN

Stack Overflow用户

提问于 2017-07-19 11:58:57

回答 1查看 59关注 0票数 1

假设我在B规范中有以下内容：

flower <: FLOWER
age <: AGE
owner <: OWNER
Type <: flower * age
Buyer : owner <-> flower

我是否可以创建如下精化:-

flower <: FLOWER
age <: AGE
owner <: OWNER
Type : Owner <-> flower * age
Buyer : owner <-> flower

回答已采纳

发布于 2017-07-20 15:13:06

不，这是不可能的，因为在细化中，变量的类型必须与规范中的类型相同(如果规范中有一个名称与此处相同的变量)。

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/45180716

复制

相似问题

问B规范的改进EN