random - vdm++ で乱数を生成する

Question

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

Answer 1

VDM (VDMTools と Overture の両方) で乱数発生器を使用できるはずです。

Overture では、引数は 0 よりも大きくなければならず、シードを設定する必要があります。これはデフォルトです。エクスプローラーでプロジェクトを選択し、[新規] -> [VDM ライブラリを追加] で [MATH] を選択して、標準の MATH ライブラリを含めることを忘れないでください。

次のように呼び出すことができます: MATH.rand(100)0 から 100 までの数値を返します。

MATH.srand(5)シードは、シード セットを返すことで変更できます。