回答情况：
提问时间：
问题标签：
1回答
我用vdm++实现了一个随机数生成器。但是我想把种子设为计算机的时钟时间。有没有人知道是否有与c++函数time(NULL)等价的vdm++函数
谢谢。
浏览 4修改于2012-12-03得票数 0
1回答
我正在读一本VDM++语言手册。我的问题是，在某些情况下，他在语句的末尾使用";“，而在同一语句中的某个地方，他没有使用";”。
浏览 1修改于2013-03-23得票数 1
回答已采纳
例如，我希望将nat转换为char的seq in VDM++。
在下面的代码中，如果q是nat类型，并且q< 3，我希望操作setValueOfX返回"X is {value of q}"。
浏览 3修改于2020-11-10得票数 0
回答已采纳
0回答
我想知道图片中的操作是什么意思。'getStartPrice()== (return startPrice)‘这一行是什么意思。
浏览 4提问于2017-01-05得票数 0
1回答
我对VDM++和Im非常陌生，他们试图在操作中用例来了解它是如何工作的。
我的想法是给操作一个输入，看看它作为输出给了我什么。那么外汇。我的输入可能是:我希望输出是相等的。
浏览 4提问于2017-09-30得票数 0
回答已采纳
如何将文本或值打印到控制台以验证我的模型是否正常工作？ 我想做这样的事情： class Main public Run: () ==> () print "Text"end Main 这似乎是可能的，但我就是想不出该怎么做。
浏览 15提问于2019-09-09得票数 0
回答已采纳
我使用的是VDM++工具箱v9.0.2附带的树定义，当尝试使用函数addRoot() (使用解释器)时，在第一次使用时，我总是得到错误：“运行时错误266:操作或函数不在作用域中”。我正在添加VDM++工具箱附带的树代码。
浏览 8提问于2013-11-13得票数 0
0回答
假设我想将一个实数四舍五入为一个自然数，我如何在VDM++中做到这一点？数学库似乎没有任何执行此操作的函数。
谢谢，里卡多
浏览 2提问于2016-12-28得票数 0
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号