回答情况：
提问时间：
问题标签：
1回答
我开始学习合金，真的很喜欢我所看到的。
就功能而言，合金是UML的超集吗？从我的阅读中，我了解到，使用合金语言，可以表达许多约束，然
浏览 1提问于2016-08-27得票数 2
回答已采纳
我非常喜欢通过简单地列出约束，然后运行合金分析器:找到满足约束的实例来设计合金模型。不设计约束中心合金模型会更好吗？是否可以更好地设计以算法为中心的<
浏览 0提问于2018-04-16得票数 0
回答已采纳
在第132页的合金书(软件摘要)中，有人说以下命令是一个完整的合金模型：我将其放入合金工具并执行，但是合金抱怨S。这是书中的错误吗？
浏览 2提问于2014-12-04得票数 1
回答已采纳
1回答
如何在合金中使用字符串？我在这里搜索问题，发现字符串是合金中的一个关键字。但我找不到任何关于如何在合金中使用字符串的参考资料。你能给我一个吗？如果不是，可以简单介绍一下合金中的弦吗？
浏览 1提问于2014-11-14得票数 0
2回答
到目前为止，我所写的是现在被认为是“经典项目”(我一直在写钛应用程序从以前的合金)。很少有其他问题：
如何在合金内部运行旧
浏览 4修改于2016-05-06得票数 5
回答已采纳
以下合金模型：run {all a : A | some r : A->A | a.r = a} for 3合金和合金都失败。如果我使用“普通合金”运行这两个命令(特别是使用来自的最新版本4.2_ 2015-02-22，构建日期2015-02-22 18:21 EST)，那么第一个命令工作正常，但第二个命令无法浏览：
但是，如果我使用合金*运行这两个命令(特别是使用中的h
浏览 0修改于2017-06-02得票数 1
回答已采纳
1回答
为什么要创建一个使用合金的模型？我们使用合金创建一个模型，因为我们希望验证该模型是否适用于某些属性。请允许我举几个例子来说明我的意思：
这些例子说明了为什么我们创建<e
浏览 2提问于2016-12-21得票数 1
我想为我的经典钛项目使用合金模块(用合金代码编写的模块)，现在我看到有人说你可以将合金转换为经典钛代码，这样你就可以在你的项目中使用它。问题是我不知道该怎么做。所以，如果你有一个关于如何将合金代码转换成经典钛代码的想法，那就太好了。
浏览 0修改于2014-04-11得票数 1
使用Alloy，可以从合金文件中获得一个CompModule，其中包含使用给定合金模块所需的所有内容。有没有从CompModule到合金语言的方法？或者从一系列的符号和事实到合金模型。(我想我可以使用暴力，但我更想知道是否存在实用程序。)干杯
浏览 2提问于2013-04-17得票数 3
回答已采纳
我做了一个钛合金模块，它在Xcode3和钛合金1.6.2上工作得很好，但在Xcode4和钛合金1.7.2上不能工作。请解决这个问题
浏览 1提问于2011-08-25得票数 1
合金开发人员是否使用任何解析器生成器工具(如)来解析合金规范，或者其解析器是否内置并专门为合金语言目的编写？如果他们使用外部工具来实现合金解析器，我如何才能访问有关此的进一步信息(例如，输入到外部解析器生成器中的语法)。
浏览 5修改于2015-04-02得票数 0
回答已采纳
我正在写一个程序，它需要在一个模型上调用合金，并在返回的实例上做一些事情。问题是，每次调用“合金”命令时，都会打开“合金”界面。我想知道有没有什么方法可以在不打开接口的情况下从Java代码中调用合金。
浏览 0修改于2016-04-18得票数 0
1回答
最近我遇到了一些合金模型，它们的"let“语句与模型中的任何块无关。合金分析器很好地分析了这些模型，所以我知道这是有效的合金语法。然而，在张贴在v4上的合金语法中，或者在Daniel的“合金”一书中，没有一条规则说"let“语句可以出现在块之外。下面的摘录显示了这些"let“语句的示例。pred halfAdder(m: Int, n: Int, s: Int, c: Int) { c = bitAndTable[m, n]
浏览 1提问于2021-04-21得票数 1
回答已采纳
我正在做一个项目，发现了一篇关于V合金的文章，他们给出了一个V合金和合金代码的例子，但问题是合金脚本的语法不能被合金分析器识别。
浏览 0提问于2016-11-29得票数 0
1回答
我最近正在与合金合作。我可以这样说吗：all i: Int | i >= 0 我想说的是:合金使用的所有整数都应该是正数。合金不会失败，但也不会给我实例。
问候
浏览 1提问于2014-03-29得票数 3
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号