Home
last modified time | relevance | path

Searched defs:inferprop (Results 1 – 5 of 5) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dscip_var.c5804 SCIP_PROP* inferprop, /**< propagator that deduced the bound change */ in SCIPinferVarFixProp()
5873 SCIP_PROP* inferprop, /**< propagator that deduced the bound change */ in SCIPinferVarLbProp()
5988 SCIP_PROP* inferprop, /**< propagator that deduced the bound change */ in SCIPinferVarUbProp()
6098 SCIP_PROP* inferprop, /**< propagator that deduced the fixing */ in SCIPinferBinvarProp()
H A Dstruct_tree.h169 …SCIP_PROP* inferprop; /**< propagator that deduced the bound change, or NULL */ member
H A Dtree.c1724 …SCIP_PROP* inferprop, /**< propagator that deduced the bound change, or NULL */ in treeAddPendingBdchg()
1820 …SCIP_PROP* inferprop, /**< propagator that deduced the bound change, or NULL */ in SCIPnodeAddBoundinfer()
2118 …SCIP_PROP* inferprop, /**< propagator that deduced the bound change, or NULL */ in SCIPnodeAddHoleinfer()
H A Dvar.c415 …SCIP_PROP* inferprop, /**< propagator that deduced the bound change, or NULL */ in varAddLbchginfo()
490 …SCIP_PROP* inferprop, /**< propagator that deduced the bound change, or NULL */ in varAddUbchginfo()
1359 …SCIP_PROP* inferprop, /**< propagator that deduced the bound change, or NULL */ in SCIPdomchgAddBoundchg()
H A Dconflict.c4913 SCIP_PROP* inferprop; in conflictResolveBound() local