set_filename

Description:

public void set_filename (string filename)

Set the filename where the summary will be loaded to/saved from.

Parameters:

this

a StoreSummary
filename

a filename