Searched refs:oldfocusnodehaslp (Results 1 – 1 of 1) sorted by relevance
1334 SCIP_Bool oldfocusnodehaslp; in nodeRepropagate() local1374 oldfocusnodehaslp = tree->focusnodehaslp; in nodeRepropagate()1432 tree->focusnodehaslp = oldfocusnodehaslp; in nodeRepropagate()