Programming Language ADP

srand （乱数シードの初期化）

形式

　srand( $seedv)

引数

$seedv: 乱数の種（省略可）

完了時の動作

常に次の述語を実行に移ります。バックトラックしません。

バックトラック時の動作

常にバックトラックします。前の述語にバックトラックします。

説明

rand述語で返される乱数シードの初期化を行います。rand/srandはメルセンヌツイスターを使用しています。srand述語は、$seedvを引数としてメルセンヌツイスターのinit_genrandを呼び出します。$seedvを省略すると現在時刻とプログラムの実行時間から、init_by_arrayを呼び出しシードの初期化を行います。

コード例（lib/rand.p）

,srand(1000);
,counter(1,1,5,$),rand.prtn,next;

実行例

D:\sample\lib>adp rand.p
-1487821389
882709079
493951047
-1673392448
-213533445