Searched refs:noldimpls (Results 1 – 1 of 1) sorted by relevance
130 …int noldimpls; /**< number of implication before last clique lifting ru… member7280 conshdlrdata->noldimpls = 0; in SCIP_DECL_CONSINIT()8063 …|| conshdlrdata->noldfixedvars != SCIPgetNFixedVars(scip) || conshdlrdata->noldimpls != SCIPgetNIm… in SCIP_DECL_CONSPRESOL()8068 conshdlrdata->noldimpls = SCIPgetNImplications(scip); in SCIP_DECL_CONSPRESOL()