問題タブ [vdm++]

vdm ++で乱数を生成する方法を知っている人はいますか? 数学ライブラリが機能しません。

VDM ++ToolBoxAcademicで愚かなエラーが発生します。

操作を実行しようとすると、次のエラーが発生します。

私のコンストラクターは次のとおりです。

そして私はそれをここで呼びます：

私はこの宣言を持っています：

および（グループで）：

エラーはの最初の文字を指していGameます。

誰かが私を助けることができますか？

vdm++で乱数ジェネレーターを実装しました。しかし、私はシードをコンピューターからの時刻にしたかったのです。c++関数と同等のvdm++関数があるかどうか誰かが知っていますtime(NULL)か？

ありがとうございました。

私はVDM++の翻訳者を作っています。これは、C++でVDM++コードを変換します。そのために、VDM++からC++へのマッピングを行っています。

VDM ++で関数を書く方法を知りたいですか？

例えば。

このコードをVDM++で書くにはどうすればよいですか？

私はいくつかの論理式に取り組んでいます。2 つの式を 1 つにマージしたいのですが、方法がわかりません。VDM Overture Toolを使用しています。

私は5つの温度のセットを見ています。400を超えるものもあれば、下回るものもあります。

最初の式は、少なくとも 1 つの温度が 400 度を超える場合に true になります。

2 番目の式は、セット内のすべての値が 400 を超える場合に true になります。

私が今作成しようとしている表現は、少なくとも 1 つの温度が 400 度を超える場合ですが、すべてではありません。

これら2つを組み合わせる方法はありますか？

VDM++言語のマニュアルを読んでいます。私の質問は、彼が「;」を使用する場合があることです。ステートメントの終わりと同じステートメントのどこかで、彼は「;」を使用していません。

以下は例です

Derek Andrews と Darrel INCE による Practical Formal Methods with VDM の Chapter 5 から質問があります。

マップの価格が車をその価格に関連付ける場合、セットBLには、British Leyland 製の車とFiat製の車が含まれます。この章とセットの章で説明されているマップ機能とセット機能を使用して、次の説明を書き留めます。

(d) 価格が 6000 ～ 7000 ポンドのフィアット車の数

ここまでは・・・と思います。

1. すべての法定通貨の価格を取得します。つまり、価格マップのサブセットを返すprice(fiat)

つまり、{プント -→ 5500、パンダ -→ 6600}

2.価格帯（法定通貨）のマップ上のカード制限の可能性...

しかし、これが合法かどうかはわかりません

これは比較的簡単なはずだと思いますが、誰かがこれに答える方法を知っているかどうか疑問に思っていました:

自然数列の最小値を返す再帰関数 seq-min : N+ -> N を定義します。

・・・のようなことを考えていました。

助けてくれてありがとう！

例 1

例 2

これらの文の <> はどういう意味ですか?