Searched refs:vbbmFilename (Results 1 – 6 of 6) sorted by relevance
95 string vbbmFilename = filename + "_vbbm"; in saveState() local116 vbbm.save(vbbmFilename); in saveState()143 string vbbmFilename = filename + "_vbbm"; in loadState() local154 vbbm.load(vbbmFilename); in loadState()
1045 string vbbmFilename = filename + "_vbbm"; in saveState() local1056 vbbm.save(vbbmFilename); in saveState()1082 string vbbmFilename = filename + "_vbbm"; in loadState() local1093 vbbm.load(vbbmFilename); in loadState()
147 string vbbmFilename = filename + "_vbbm"; in saveState() local160 vbbm->save(vbbmFilename); in saveState()