1911 …SCIP_BDCHGIDX*        bdchgidx,           /**< bound change index (time stamp of bound change), or…  in resolvePropagationFullOrbitope()  argument
1985          if ( SCIPvarGetLbAtIndex(vars[origrow][j], bdchgidx, FALSE) > 0.5 )  in resolvePropagationFullOrbitope()
1987          else if ( SCIPvarGetUbAtIndex(vars[origrow][j], bdchgidx, FALSE) < 0.5 || j == n - 1 )  in resolvePropagationFullOrbitope()
2021          if ( SCIPvarGetUbAtIndex(vars[origrow][j], bdchgidx, FALSE) < 0.5 )  in resolvePropagationFullOrbitope()
2023          else if ( SCIPvarGetLbAtIndex(vars[origrow][j], bdchgidx, FALSE) > 0.5 || j == 0 )  in resolvePropagationFullOrbitope()
2049          if ( SCIPvarGetLbAtIndex(vars[origrow][j], bdchgidx, FALSE) > 0.5 ||  in resolvePropagationFullOrbitope()
2050             SCIPvarGetUbAtIndex(vars[origrow][j], bdchgidx, FALSE) < 0.5 )  in resolvePropagationFullOrbitope()
2098 …SCIP_BDCHGIDX*        bdchgidx,           /**< bound change index (time stamp of bound change), or…  in resolvePropagation()  argument
2154          if ( SCIPgetVarUbAtIndex(scip, vars[i][j], bdchgidx, FALSE) < 0.5 )  in resolvePropagation()
2159             if ( SCIPgetVarLbAtIndex(scip, vars[i][j], bdchgidx, FALSE) > 0.5 )  in resolvePropagation()
2215             assert( SCIPgetVarUbAtIndex(scip, vars[p1][p2], bdchgidx, FALSE) < 0.5 );  in resolvePropagation()
2216             SCIP_CALL( SCIPaddConflictUb(scip, vars[p1][p2], bdchgidx) );  in resolvePropagation()
2286                if ( SCIPgetVarUbAtIndex(scip, vars[p1][p2], bdchgidx, FALSE) < 0.5 )  in resolvePropagation()
2288                   SCIP_CALL( SCIPaddConflictUb(scip, vars[p1][p2], bdchgidx) );  in resolvePropagation()
2299                   assert( SCIPgetVarLbAtIndex(scip, vars[p1][p2], bdchgidx, FALSE) < 0.5 );  in resolvePropagation()
2325                assert( SCIPgetVarUbAtIndex(scip, vars[i][k], bdchgidx, FALSE) < 0.5 );  in resolvePropagation()
2326                SCIP_CALL( SCIPaddConflictUb(scip, vars[i][k], bdchgidx) );  in resolvePropagation()
2351                if ( SCIPgetVarLbAtIndex(scip, vars[i][k], bdchgidx, FALSE) > 0.5 )  in resolvePropagation()
2353                   SCIP_CALL( SCIPaddConflictLb(scip, vars[i][k], bdchgidx) );  in resolvePropagation()
3352    assert( bdchgidx != NULL );  in SCIP_DECL_CONSRESPROP()
3363       SCIP_CALL( resolvePropagation(scip, cons, inferinfo, bdchgidx, result) );  in SCIP_DECL_CONSRESPROP()
3367 …    SCIP_CALL( resolvePropagationFullOrbitope(scip, conshdlr, cons, inferinfo, bdchgidx, result) );  in SCIP_DECL_CONSRESPROP()