Searched defs:SPFP (Results 1 – 1 of 1) sorted by relevance
786 const std::pair<int, int> SPFP = *SPT.getStateBefore(*First); in computeSaveLocations() local1297 const std::pair<int, int> SPFP = *SPT.getStateBefore(*BestPosSave); in moveSaveRestores() local