Searched refs:performedrestart (Results 1 – 1 of 1) sorted by relevance
373 SCIP_Bool performedrestart; /**< whether a restart has been performed already */ member565 if ( conshdlrdata->performedrestart ) in SCIP_DECL_EVENTEXEC()588 conshdlrdata->performedrestart = TRUE; in SCIP_DECL_EVENTEXEC()617 conshdlrdata->performedrestart = TRUE; in SCIP_DECL_EVENTEXEC()4873 conshdlrdata->performedrestart = FALSE; in initConshdlrData()