項ベクトルのサイズをセットします。

tv_setsize(+Vector, +Size)

tv_setsize/2は、項ベクトルVectorのサイズをSizeにセットします。 Sizeは、0以上の整数でなければなりません。 tv_setsize/2で、項ベクトルのサイズを拡大および縮小させることができます。 縮小するならば、Sizeより、大きいインデックスを持つ全ての要素は失われます（たとえあなたが前のベクトル・サイズへサイズを戻したとしてもです）。 あなたがベクトルを拡大するならば、前のベクトル・サイズより大きいインデックスによる全ての要素は0へセットされます。

引き数

Vector                 オブジェクト（項ベクトル）
Size                    整数

例題

    tv_create(V),
    tv_add(V, one),
    tv_add(V, two),
    tv_add(V, three),
    tv_list(V, L1),
    tv_setsize(V, 2),
    tv_list(V, L2),
    tv_setsize(V, 4),
    tv_list(V, L3)
->
    L1 = [one,two,three]
    L2 = [one,two]
    L3 = [one,two,null,null]

標準

この述語は、ISO-Prolog 標準の要件ではありません。

以下も参照して下さい

冒頭へ