Searched refs:vssFilename (Results 1 – 6 of 6) sorted by relevance
94 string vssFilename = filename + "_vss"; in saveState() local117 vss.save(vssFilename); in saveState()142 string vssFilename = filename + "_vss"; in loadState() local155 vss.load(vssFilename); in loadState()
1044 string vssFilename = filename + "_vss"; in saveState() local1057 vss.save(vssFilename); in saveState()1081 string vssFilename = filename + "_vss"; in loadState() local1094 vss.load(vssFilename); in loadState()
146 string vssFilename = filename + "_vss"; in saveState() local161 vss->save(vssFilename); in saveState()