Searched refs:nfixedones (Results 1 – 5 of 5) sorted by relevance
173 int nfixedones; in checkCounters() local179 nfixedones = 0; in checkCounters()191 nfixedones++; in checkCounters()199 assert(nfixedones == consdata->nfixedones); in checkCounters()1171 (*nfixedones) = 0; in collectActivities()1204 assert(consdata->nfixedones == *nfixedones); in collectActivities()1228 (*nfixedones) = 0; in collectSolActivities()1697 int nfixedones; in checkCons() local1753 int nfixedones; in enfopsCons() local2018 int nfixedones; in upgradeCons() local[all …]
284 consdata->nfixedones++; in catchEvent()315 consdata->nfixedones--; in dropEvent()488 assert(consdata->nfixedones == 0); in consdataCreateBinvars()550 (*consdata)->nfixedones = 0; in consdataCreate()1223 assert(0 <= consdata->nfixedones && consdata->nfixedones <= consdata->nbinvars); in processBinvarFixings()1234 if( consdata->nfixedones == 1 ) in processBinvarFixings()2473 if( consdata->nfixedones >= 2 ) in SCIP_DECL_CONSPRESOL()2483 if( consdata->nfixedones == 1 ) in SCIP_DECL_CONSPRESOL()3243 consdata->nfixedones++; in SCIP_DECL_EVENTEXEC()3246 consdata->nfixedones--; in SCIP_DECL_EVENTEXEC()[all …]
575 (*consdata)->nfixedones = 0; in consdataCreate()945 consdata->nfixedones++; in catchEvent()988 consdata->nfixedones--; in dropEvent()2118 assert(0 <= consdata->nfixedones && consdata->nfixedones <= consdata->nvars); in processFixings()2126 if( consdata->nfixedones == 1 ) in processFixings()2491 assert(0 <= consdata->nfixedones && consdata->nfixedones <= consdata->nvars); in separateCons()3199 if( consdata->nfixedones > 1 ) in presolvePropagateCons()8747 consdata->nfixedones++; in SCIP_DECL_EVENTEXEC()8750 consdata->nfixedones--; in SCIP_DECL_EVENTEXEC()8789 assert(0 <= consdata->nfixedones && consdata->nfixedones <= consdata->nvars); in SCIP_DECL_EVENTEXEC()[all …]
2950 int nfixedones; in propagateCons() local3012 nfixedones = 0; in propagateCons()3021 ++nfixedones; in propagateCons()3065 assert( (nfixedones - (int) consdata->rhs) % 2 == 0 ); in propagateCons()3144 ++nfixedones; in propagateCons()3146 assert( (nfixedones - (int) consdata->rhs) % 2 == 0 ); in propagateCons()3148 fixval = (nfixedones - (int) consdata->rhs)/2; /*lint !e713*/ in propagateCons()3209 assert( nfixedones + nfixedzeros < nvars ); in propagateCons()3231 if ( nfixedones > nonesmax ) in propagateCons()3276 assert(nfixedones <= nonesmax); in propagateCons()[all …]
2367 int nfixedones; in getCover() local2408 nfixedones = 0; in getCover()2430 fixedones[nfixedones] = j; in getCover()2431 nfixedones++; in getCover()2449 assert(nfixedones + nfixedzeros + nitems == nvars - (*ntightened)); in getCover()2537 for( j = 0; j < nfixedones; j++ ) in getCover()