Home
last modified time | relevance | path

Searched refs:infercons (Results 1 – 8 of 8) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dstruct_tree.h168 …SCIP_CONS* infercons; /**< constraint that deduced the bound change, or NULL */ member
H A Dscip_var.h1961 SCIP_CONS* infercons, /**< constraint that deduced the bound change */
1991 …SCIP_CONS* infercons, /**< constraint that deduced the bound change, or NULL */
2021 SCIP_CONS* infercons, /**< constraint that deduced the bound change */
2045 SCIP_CONS* infercons, /**< constraint that deduced the fixing */
H A Dtree.h224 …SCIP_CONS* infercons, /**< constraint that deduced the bound change, or NULL */
266 …SCIP_CONS* infercons, /**< constraint that deduced the bound change, or NULL */
H A Dtree.c1723 …SCIP_CONS* infercons, /**< constraint that deduced the bound change, or NULL */ in treeAddPendingBdchg() argument
1742 tree->pendingbdchgs[tree->npendingbdchgs].infercons = infercons; in treeAddPendingBdchg()
1819 …SCIP_CONS* infercons, /**< constraint that deduced the bound change, or NULL */ in SCIPnodeAddBoundinfer() argument
1855 assert(node->active || (infercons == NULL && inferprop == NULL)); in SCIPnodeAddBoundinfer()
1864 …boundtype == SCIP_BOUNDTYPE_LOWER ? "lower" : "upper", newbound, infercons != NULL ? "cons" : "pro… in SCIPnodeAddBoundinfer()
1865 …infercons != NULL ? SCIPconsGetName(infercons) : (inferprop != NULL ? SCIPpropGetName(inferprop) :… in SCIPnodeAddBoundinfer()
2043 infercons != NULL ? SCIP_BOUNDCHGTYPE_CONSINFER : SCIP_BOUNDCHGTYPE_PROPINFER, in SCIPnodeAddBoundinfer()
2044 0.0, infervar, infercons, inferprop, inferinfo, inferboundtype) ); in SCIPnodeAddBoundinfer()
2117 …SCIP_CONS* infercons, /**< constraint that deduced the bound change, or NULL */ in SCIPnodeAddHoleinfer() argument
2140 assert(node->active || (infercons == NULL && inferprop == NULL)); in SCIPnodeAddHoleinfer()
[all …]
H A Dscip_var.c5410 SCIP_CONS* infercons, /**< constraint that deduced the bound change */ in SCIPinferVarFixCons() argument
5443 …SCIP_CALL( SCIPinferVarLbCons(scip, var, fixedval, infercons, inferinfo, force, infeasible, &lbtig… in SCIPinferVarFixCons()
5447 …SCIP_CALL( SCIPinferVarUbCons(scip, var, fixedval, infercons, inferinfo, force, infeasible, tighte… in SCIPinferVarFixCons()
5479 SCIP_CONS* infercons, /**< constraint that deduced the bound change */ in SCIPinferVarLbCons() argument
5556 … scip->cliquetable, var, newbound, SCIP_BOUNDTYPE_LOWER, infercons, NULL, inferinfo, FALSE) ); in SCIPinferVarLbCons()
5593 SCIP_CONS* infercons, /**< constraint that deduced the bound change */ in SCIPinferVarUbCons() argument
5670 … scip->cliquetable, var, newbound, SCIP_BOUNDTYPE_UPPER, infercons, NULL, inferinfo, FALSE) ); in SCIPinferVarUbCons()
5701 SCIP_CONS* infercons, /**< constraint that deduced the fixing */ in SCIPinferBinvarCons() argument
5766 … scip->cliquetable, var, 1.0, SCIP_BOUNDTYPE_LOWER, infercons, NULL, inferinfo, FALSE) ); in SCIPinferBinvarCons()
5772 … scip->cliquetable, var, 0.0, SCIP_BOUNDTYPE_UPPER, infercons, NULL, inferinfo, FALSE) ); in SCIPinferBinvarCons()
H A Dvar.c428 assert((boundchgtype == SCIP_BOUNDCHGTYPE_CONSINFER) == (infercons != NULL)); in varAddLbchginfo()
433 …infercons != NULL ? SCIPconsGetName(infercons) : (inferprop != NULL ? SCIPpropGetName(inferprop) :… in varAddLbchginfo()
458 assert(infercons != NULL); in varAddLbchginfo()
459 var->lbchginfos[var->nlbchginfos].inferencedata.reason.cons = infercons; in varAddLbchginfo()
503 assert((boundchgtype == SCIP_BOUNDCHGTYPE_CONSINFER) == (infercons != NULL)); in varAddUbchginfo()
508 …infercons != NULL ? SCIPconsGetName(infercons) : (inferprop != NULL ? SCIPpropGetName(inferprop) :… in varAddUbchginfo()
533 assert(infercons != NULL); in varAddUbchginfo()
534 var->ubchginfos[var->nubchginfos].inferencedata.reason.cons = infercons; in varAddUbchginfo()
1372 assert((boundchgtype == SCIP_BOUNDCHGTYPE_CONSINFER) == (infercons != NULL)); in SCIPdomchgAddBoundchg()
1404 assert(infercons != NULL); in SCIPdomchgAddBoundchg()
[all …]
H A Dvar.h158 …SCIP_CONS* infercons, /**< constraint that deduced the bound change, or NULL */
H A Dconflict.c4912 SCIP_CONS* infercons; in conflictResolveBound() local
4993 infercons = SCIPbdchginfoGetInferCons(bdchginfo); in conflictResolveBound()
4994 assert(infercons != NULL); in conflictResolveBound()
4996 if( SCIPconsIsGlobal(infercons) || SCIPconsGetValidDepth(infercons) <= validdepth ) in conflictResolveBound()
5021 SCIPconsGetName(infercons), in conflictResolveBound()
5022 SCIPconsIsGlobal(infercons) ? "global" : "local", in conflictResolveBound()
5049 …SCIP_CALL( SCIPconsResolvePropagation(infercons, set, infervar, inferinfo, inferboundtype, bdchgid… in conflictResolveBound()