Searched refs:oldfocuslpfork (Results 1 – 1 of 1) sorted by relevance
1328 SCIP_NODE* oldfocuslpfork; in nodeRepropagate() local1368 oldfocuslpfork = tree->focuslpfork; in nodeRepropagate()1426 tree->focuslpfork = oldfocuslpfork; in nodeRepropagate()