PHP マニュアル: This method stores an in-memory set to disk

説明

public void QuickHashIntSet::saveToFile(string $filename)

This method stores an existing set to a file on disk, in the same format that QuickHashIntSet::loadFromFile can read.

パラメータ

filename: The filename of the file to store the hash in.

戻り値

値を返しません。

例

例1 QuickHashIntSet::saveToFile example

<?php
$set = new QuickHashIntSet( 1024 );
var_dump( $set->exists( 4 ) );
var_dump( $set->add( 4 ) );
var_dump( $set->exists( 4 ) );
var_dump( $set->add( 4 ) );

$set->saveToFile( '/tmp/test.set' );
?>