Searched refs:oldfocussubroot (Results 1 – 1 of 1) sorted by relevance
1330 SCIP_NODE* oldfocussubroot; in nodeRepropagate() local1370 oldfocussubroot = tree->focussubroot; in nodeRepropagate()1428 tree->focussubroot = oldfocussubroot; in nodeRepropagate()