Home
last modified time | relevance | path

Searched refs:SCIPnodeAddCons (Results 1 – 4 of 4) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dtree.h153 SCIP_RETCODE SCIPnodeAddCons(
H A Dscip_prob.c2807 …SCIP_CALL( SCIPnodeAddCons(SCIPtreeGetCurrentNode(scip->tree), scip->mem->probmem, scip->set, scip… in SCIPaddCons()
3359 … SCIP_CALL( SCIPnodeAddCons(node, scip->mem->probmem, scip->set, scip->stat, scip->tree, cons) ); in SCIPaddConsNode()
H A Dconflict.c2614 SCIP_CALL( SCIPnodeAddCons(tree->path[validdepth], blkmem, set, stat, tree, cons) ); in tightenSingleVar()
3214 SCIP_CALL( SCIPnodeAddCons(tree->path[proofset->validdepth], blkmem, set, stat, tree, cons) ); in createAndAddProofcons()
H A Dtree.c1599 SCIP_RETCODE SCIPnodeAddCons( in SCIPnodeAddCons() function