Searched refs:ncutoffproofnodes (Results 1 – 1 of 1) sorted by relevance
1174 statistics->ncutoffproofnodes = 0; in statisticsInit()1276 statistics->ncutoffproofnodes); in statisticsPrint()1300 (*localstats)->ncutoffproofnodes = 0; in localStatisticsAllocate()4595 deeperlocalstats->ncutoffproofnodes = 0; in executeBranchingRecursive()4644 localstats->ncutoffproofnodes += deeperlocalstats->ncutoffproofnodes; in executeBranchingRecursive()4865 localstats->ncutoffproofnodes = 0; in selectVarRecursive()4999 localstats->ncutoffproofnodes += 2; in selectVarRecursive()5014 assert(localstats->ncutoffproofnodes == 0 || localstats->ncutoffproofnodes == 2); in selectVarRecursive()5016 2 + localstats->ncutoffproofnodes, TRUE); in selectVarRecursive()5044 assert(localstats->ncutoffproofnodes == 0 || localstats->ncutoffproofnodes == 2); in selectVarRecursive()[all …]