set_memory_file


Description:

public void set_memory_file (string filename)