Searched refs:propcutoff (Results 1 – 1 of 1) sorted by relevance
1515 SCIP_Bool propcutoff; in nodeActivate() local1518 eventfilter, eventqueue, cliquetable, &propcutoff) ); in nodeActivate()1519 *cutoff = *cutoff || propcutoff; in nodeActivate()