Searched refs:proofact (Results 1 – 1 of 1) sorted by relevance
| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | conflict.c | 6042 assert(SCIPsetIsGT(set, prooflhs, proofact)); in addCand()
6185 SCIP_Real* proofact, /**< current activity of proof */ in undoBdchgsProof() argument
6209 assert(SCIPsetIsFeasGT(set, prooflhs, (*proofact))); in undoBdchgsProof()
6260 proofcoefs[v], prooflhs, (*proofact)); in undoBdchgsProof()
6273 proofcoefs[v], prooflhs, (*proofact)); in undoBdchgsProof()
6308 if( SCIPsetIsFeasGT(set, prooflhs, (*proofact) + proofactdeltas[i]) ) in undoBdchgsProof()
6318 proofcoefs[v], prooflhs, (*proofact), proofactdeltas[i]); in undoBdchgsProof()
6359 (*proofact) += proofactdeltas[i]; in undoBdchgsProof()
6832 if( !infdelta && SCIPsetIsInfinity(set, REALABS(*proofact)) ) in addLocalRows()
6893 if( !infdelta && SCIPsetIsInfinity(set, REALABS(*proofact)) ) in addLocalRows()
[all …]
|