Searched refs:saggregations (Results 1 – 1 of 1) sorted by relevance
3419 assert(saggregations != NULL); in presolvePropagateCons()3424 if( *saggregations == *naggregations ) in presolvePropagateCons()3427 assert(*saggregations > *naggregations); in presolvePropagateCons()3533 assert(saggregations != NULL); in checkForOverlapping()4091 if( *saggregations == *naggregations ) in checkForOverlapping()4093 *saggregations = SCIPcalcMemGrowSize(scip, *naggregations + 1); in checkForOverlapping()4094 assert(*saggregations > *naggregations); in checkForOverlapping()4929 int saggregations; in preprocessCliques() local4960 saggregations = nvars; in preprocessCliques()4963 BMSclearMemoryArray(undoneaggrtypes, saggregations); in preprocessCliques()[all …]