Searched refs:sourceresvar (Results 1 – 2 of 2) sorted by relevance
| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | cons_or.c | 1847 SCIP_VAR* sourceresvar; in SCIP_DECL_CONSCOPY() local
1857 sourceresvar = SCIPgetResultantOr(sourcescip, sourcecons); in SCIP_DECL_CONSCOPY()
1877 …SCIP_CALL( SCIPgetVarCopy(sourcescip, scip, sourceresvar, &resvar, varmap, consmap, global, valid)… in SCIP_DECL_CONSCOPY()
|
| H A D | cons_and.c | 4684 SCIP_VAR* sourceresvar; in SCIP_DECL_CONSCOPY() local
4693 sourceresvar = SCIPgetResultantAnd(sourcescip, sourcecons); in SCIP_DECL_CONSCOPY()
4696 …SCIP_CALL( SCIPgetVarCopy(sourcescip, scip, sourceresvar, &resvar, varmap, consmap, global, valid)… in SCIP_DECL_CONSCOPY()
|