watchedvar2 (reference) in projects: dports

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs:watchedvar2 (Results 1 – 5 of 5) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A D	cons_or.c	322 assert(watchedvar2 == -1 \|\| (0 <= watchedvar2 && watchedvar2 < consdata->nvars)); in consdataSwitchWatchedvars() 337 assert(watchedvar2 == -1 \|\| watchedvar2 != consdata->watchedvar1); in consdataSwitchWatchedvars() 345 if( consdata->watchedvar2 != -1 && consdata->watchedvar2 != watchedvar2 ) in consdataSwitchWatchedvars() 356 if( watchedvar2 != -1 && watchedvar2 != consdata->watchedvar2 ) in consdataSwitchWatchedvars() 363 consdata->watchedvar2 = watchedvar2; in consdataSwitchWatchedvars() 1010 int watchedvar2; in propagateCons() local 1114 watchedvar2 = consdata->watchedvar2; in propagateCons() 1123 if( watchedvar2 != -1 ) in propagateCons() 1127 watchedvar2 = -1; in propagateCons() 1134 watchedvar2 = -1; in propagateCons() [all …]
H A D	cons_bounddisjunction.c	669 assert(watchedvar2 == -1 \|\| (0 <= watchedvar2 && watchedvar2 < consdata->nvars)); in switchWatchedvars() 676 if( watchedvar1 == consdata->watchedvar2 \|\| watchedvar2 == consdata->watchedvar1 ) in switchWatchedvars() 688 assert(watchedvar2 == -1 \|\| watchedvar2 != consdata->watchedvar1); in switchWatchedvars() 697 if( consdata->watchedvar2 != -1 && consdata->watchedvar2 != watchedvar2 ) in switchWatchedvars() 709 if( watchedvar2 != -1 && watchedvar2 != consdata->watchedvar2 ) in switchWatchedvars() 716 consdata->watchedvar2 = watchedvar2; in switchWatchedvars() 1304 int watchedvar2; in processWatchedVars() local 1351 watchedvar2 = -1; in processWatchedVars() 1368 watchedvar2 = consdata->watchedvar2; in processWatchedVars() 1378 if( watchedvar2 == -1 ) in processWatchedVars() [all …]
H A D	cons_logicor.c	392 assert(watchedvar2 == -1 \|\| (0 <= watchedvar2 && watchedvar2 < consdata->nvars)); in switchWatchedvars() 395 if( watchedvar1 == consdata->watchedvar2 \|\| watchedvar2 == consdata->watchedvar1 ) in switchWatchedvars() 407 assert(watchedvar2 == -1 \|\| watchedvar2 != consdata->watchedvar1); in switchWatchedvars() 417 if( consdata->watchedvar2 != -1 && consdata->watchedvar2 != watchedvar2 ) in switchWatchedvars() 432 if( watchedvar2 != -1 && watchedvar2 != consdata->watchedvar2 ) in switchWatchedvars() 441 consdata->watchedvar2 = watchedvar2; in switchWatchedvars() 1346 int watchedvar2; in processWatchedVars() local 1377 if( consdata->watchedvar2 >= 0 && SCIPvarGetLbLocal(vars[consdata->watchedvar2]) > 0.5 ) in processWatchedVars() 1387 watchedvar2 = -1; in processWatchedVars() 1404 watchedvar2 = consdata->watchedvar2; in processWatchedVars() [all …]
H A D	cons_and.c	347 assert(watchedvar2 == -1 \|\| (0 <= watchedvar2 && watchedvar2 < consdata->nvars)); in consdataSwitchWatchedvars() 350 if( watchedvar1 == consdata->watchedvar2 \|\| watchedvar2 == consdata->watchedvar1 ) in consdataSwitchWatchedvars() 362 assert(watchedvar2 == -1 \|\| watchedvar2 != consdata->watchedvar1); in consdataSwitchWatchedvars() 370 if( consdata->watchedvar2 != -1 && consdata->watchedvar2 != watchedvar2 ) in consdataSwitchWatchedvars() 381 if( watchedvar2 != -1 && watchedvar2 != consdata->watchedvar2 ) in consdataSwitchWatchedvars() 388 consdata->watchedvar2 = watchedvar2; in consdataSwitchWatchedvars() 1478 if( watchedvar2 == -1 ) in analyzeZeroResultant() 1695 int watchedvar2; in propagateCons() local 1779 watchedvar2 = consdata->watchedvar2; in propagateCons() 1788 if( watchedvar2 != -1 ) in propagateCons() [all …]
H A D	cons_xor.c	255 assert(watchedvar2 == -1 \|\| (0 <= watchedvar2 && watchedvar2 < consdata->nvars)); in consdataSwitchWatchedvars() 258 if( watchedvar1 == consdata->watchedvar2 \|\| watchedvar2 == consdata->watchedvar1 ) in consdataSwitchWatchedvars() 270 assert(watchedvar2 == -1 \|\| watchedvar2 != consdata->watchedvar1); in consdataSwitchWatchedvars() 279 if( consdata->watchedvar2 != -1 && consdata->watchedvar2 != watchedvar2 ) in consdataSwitchWatchedvars() 292 if( watchedvar2 != -1 && watchedvar2 != consdata->watchedvar2 ) in consdataSwitchWatchedvars() 300 consdata->watchedvar2 = watchedvar2; in consdataSwitchWatchedvars() 2953 int watchedvar2; in propagateCons() local 2988 watchedvar2 = consdata->watchedvar2; in propagateCons() 2996 if( watchedvar2 != -1 ) in propagateCons() 2999 watchedvar2 = -1; in propagateCons() [all …]