Searched refs:lastnpresolcliques (Results 1 – 3 of 3) sorted by relevance
256 int lastnpresolcliques; /**< number of cliques before presolving round */ member
644 && (SCIPcliquetableGetNCliques(scip->cliquetable) - scip->stat->lastnpresolcliques in SCIPisPresolveFinished()
1359 scip->stat->lastnpresolcliques = SCIPcliquetableGetNCliques(scip->cliquetable); in presolve()