/dports/math/SCIP/scip-7.0.3/tests/src/cons/xor/ |
H A D | upgrading.c | 113 consvars[0] = xvars[0]; 114 consvars[1] = xvars[1]; 115 consvars[2] = ivar; 151 consvars[0] = xvars[0]; 152 consvars[1] = xvars[1]; 153 consvars[2] = xvars[2]; 154 consvars[3] = ivar; 194 consvars[0] = xvars[0]; 195 consvars[1] = xvars[1]; 196 consvars[2] = xvars[2]; [all …]
|
/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | reader_pbm.c | 488 SCIP_VAR** consvars; in SCIPwritePbm() local 539 consvars = SCIPgetVarsLinear(scip, cons); in SCIPwritePbm() 541 assert(consvars != NULL || nconsvars == 0); in SCIPwritePbm() 551 consvars = SCIPgetVarsSetppc(scip, cons); in SCIPwritePbm() 553 assert(consvars != NULL || nconsvars == 0); in SCIPwritePbm() 563 consvars = SCIPgetVarsLogicor(scip, cons); in SCIPwritePbm() 565 assert(consvars != NULL || nconsvars == 0); in SCIPwritePbm() 577 consvars = SCIPgetVarsKnapsack(scip, cons); in SCIPwritePbm() 609 SCIPfreeBufferArray(scip, &consvars); in SCIPwritePbm() 616 consvars = NULL; in SCIPwritePbm() [all …]
|
H A D | reader_ccg.c | 408 SCIP_VAR** consvars; in SCIPwriteCcg() local 438 consvars = SCIPgetVarsLinear(scip, cons); in SCIPwriteCcg() 440 assert( consvars != NULL || nconsvars == 0 ); in SCIPwriteCcg() 450 consvars = SCIPgetVarsSetppc(scip, cons); in SCIPwriteCcg() 452 assert( consvars != NULL || nconsvars == 0 ); in SCIPwriteCcg() 461 consvars = SCIPgetVarsLogicor(scip, cons); in SCIPwriteCcg() 463 assert( consvars != NULL || nconsvars == 0 ); in SCIPwriteCcg() 474 consvars = SCIPgetVarsKnapsack(scip, cons); in SCIPwriteCcg() 476 assert( consvars != NULL || nconsvars == 0 ); in SCIPwriteCcg() 495 consvars[0] = SCIPgetVarVarbound(scip, cons); in SCIPwriteCcg() [all …]
|
H A D | reader_ppm.c | 556 SCIP_VAR** consvars; in SCIPwritePpm() local 605 consvars = SCIPgetVarsLinear(scip, cons); in SCIPwritePpm() 607 assert( consvars != NULL || nconsvars == 0 ); in SCIPwritePpm() 617 consvars = SCIPgetVarsSetppc(scip, cons); in SCIPwritePpm() 619 assert( consvars != NULL || nconsvars == 0 ); in SCIPwritePpm() 629 consvars = SCIPgetVarsLogicor(scip, cons); in SCIPwritePpm() 631 assert( consvars != NULL || nconsvars == 0 ); in SCIPwritePpm() 643 consvars = SCIPgetVarsKnapsack(scip, cons); in SCIPwritePpm() 645 assert( consvars != NULL || nconsvars == 0 ); in SCIPwritePpm() 665 consvars[0] = SCIPgetVarVarbound(scip, cons); in SCIPwritePpm() [all …]
|
H A D | heuristics.c | 863 SCIP_VAR** consvars; /* new constraint's variables */ in createRows() local 897 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nnonz) ); in createRows() 899 consvars[j] = (SCIP_VAR*) SCIPhashmapGetImage(varmap, (SCIPcolGetVar(cols[j]))); in createRows() 908 SCIPfreeBufferArray(scip, &consvars); in createRows() 999 SCIP_VAR** consvars; in SCIPaddTrustregionNeighborhoodConstraint() local 1019 SCIP_CALL( SCIPallocBufferArray(sourcescip, &consvars, nbinvars + 1) ); in SCIPaddTrustregionNeighborhoodConstraint() 1045 consvars[nconsvars] = subvars[i]; in SCIPaddTrustregionNeighborhoodConstraint() 1046 assert(SCIPvarGetType(consvars[nconsvars]) == SCIP_VARTYPE_BINARY); in SCIPaddTrustregionNeighborhoodConstraint() 1054 consvars[nconsvars] = violvar; in SCIPaddTrustregionNeighborhoodConstraint() 1061 … SCIP_CALL( SCIPcreateConsLinear(targetscip, &trustregioncons, name, nconsvars, consvars, consvals, in SCIPaddTrustregionNeighborhoodConstraint() [all …]
|
H A D | heur_localbranching.c | 131 SCIP_VAR** consvars; in addLocalbranchingConstraintAndObjcutoff() local 161 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nbinvars) ); in addLocalbranchingConstraintAndObjcutoff() 190 consvars[nconsvars] = subvars[i]; in addLocalbranchingConstraintAndObjcutoff() 191 assert( SCIPvarGetType(consvars[nconsvars]) == SCIP_VARTYPE_BINARY ); in addLocalbranchingConstraintAndObjcutoff() 197 SCIP_CALL( SCIPcreateConsLinear(subscip, &cons, consname, nconsvars, consvars, consvals, in addLocalbranchingConstraintAndObjcutoff() 222 SCIPfreeBufferArray(scip, &consvars); in addLocalbranchingConstraintAndObjcutoff()
|
H A D | scip_dcmp.c | 279 SCIP_VAR** consvars; in SCIPhasConsOnlyLinkVars() local 292 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nvars) ); in SCIPhasConsOnlyLinkVars() 294 SCIP_CALL( SCIPgetConsVars(scip, cons, consvars, nvars, &success) ); in SCIPhasConsOnlyLinkVars() 300 SCIP_CALL( SCIPgetActiveVars(scip, consvars, &nvars, nvars, &requiredsize) ); in SCIPhasConsOnlyLinkVars() 310 SCIPdecompGetVarsLabels(decomp, &consvars[i], &label, 1); in SCIPhasConsOnlyLinkVars() 315 SCIPfreeBufferArray(scip, &consvars); in SCIPhasConsOnlyLinkVars() 845 SCIP_VAR** consvars; in buildBlockGraph() local 898 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, varbufsize) ); in buildBlockGraph() 951 SCIP_CALL( decompGetConsVarsAndLabels(scip, decomp, cons, consvars, varlabels, in buildBlockGraph() 963 linkingvarnodeidx = linkvaridx[SCIPvarGetProbindex(consvars[j])]; in buildBlockGraph() [all …]
|
H A D | heur_trustregion.c | 156 SCIP_VAR** consvars; in addTrustRegionConstraints() local 178 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nvars + 1) ); in addTrustRegionConstraints() 200 consvars[nconsvars] = subvars[i]; in addTrustRegionConstraints() 207 SCIP_CALL( SCIPcreateConsLinear(subscip, &cons, name, nconsvars, consvars, consvals, in addTrustRegionConstraints() 214 SCIPfreeBufferArray(scip, &consvars); in addTrustRegionConstraints()
|
H A D | matrix.c | 837 SCIP_VAR** consvars; in SCIPmatrixCreate() local 840 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, 2) ); in SCIPmatrixCreate() 860 consvars[0] = SCIPgetVarVarbound(scip, cons); in SCIPmatrixCreate() 861 consvars[1] = SCIPgetVbdvarVarbound(scip, cons); in SCIPmatrixCreate() 877 SCIPfreeBufferArray(scip, &consvars); in SCIPmatrixCreate() 889 SCIP_VAR** consvars; in SCIPmatrixCreate() local 898 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, valssize) ); in SCIPmatrixCreate() 927 SCIP_CALL( SCIPreallocBufferArray(scip, &consvars, valssize) ); in SCIPmatrixCreate() 934 consvars[j] = curconsvars[j]; in SCIPmatrixCreate() 939 consvars[nconsvars - 1] = SCIPgetIntvarLinking(scip, cons); in SCIPmatrixCreate() [all …]
|
H A D | reader_lp.c | 3622 SCIP_VAR** consvars; in SCIPwriteLp() local 3810 consvars = SCIPgetVarsSetppc(scip, cons); in SCIPwriteLp() 3839 consvars = SCIPgetVarsKnapsack(scip, cons); in SCIPwriteLp() 3858 consvars[0] = SCIPgetVarVarbound(scip, cons); in SCIPwriteLp() 3868 SCIPfreeBufferArray(scip, &consvars); in SCIPwriteLp() 3933 consvars[cnt] = var; in SCIPwriteLp() 3944 SCIPfreeBufferArray(scip, &consvars); in SCIPwriteLp() 4001 consvars = SCIPgetVarsSOS1(scip, cons); in SCIPwriteLp() 4011 consvars = SCIPgetVarsSOS2(scip, cons); in SCIPwriteLp() 4204 consvars = SCIPgetVarsSOS1(scip, cons); in SCIPwriteLp() [all …]
|
H A D | cons_countsols.c | 453 SCIP_VAR** consvars; in CUTOFF_CONSTRAINT() local 468 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nvars) ); in CUTOFF_CONSTRAINT() 482 SCIP_CALL( SCIPgetNegatedVar(scip, var, &consvars[v]) ); in CUTOFF_CONSTRAINT() 485 consvars[v] = var; in CUTOFF_CONSTRAINT() 497 SCIPfreeBufferArray(scip, &consvars); in CUTOFF_CONSTRAINT() 511 SCIP_VAR** consvars; in CUTOFF_CONSTRAINT() local 590 consvars[nconsvars] = var; in CUTOFF_CONSTRAINT() 597 consvars[nconsvars] = var; in CUTOFF_CONSTRAINT() 611 SCIP_CALL( SCIPgetNegatedVar(scip, consvars[v], &consvars[v])); in CUTOFF_CONSTRAINT() 621 nconsvars, consvars, boundtypes, bounds, in CUTOFF_CONSTRAINT() [all …]
|
H A D | reader_opb.c | 3333 SCIP_VAR** consvars; in writeOpbConstraints() local 3521 consvars = SCIPgetVarsSetppc(scip, cons); in writeOpbConstraints() 3591 consvars = SCIPgetVarsKnapsack(scip, cons); in writeOpbConstraints() 3622 consvars[0] = SCIPgetVarVarbound(scip, cons); in writeOpbConstraints() 3623 consvars[1] = SCIPgetVbdvarVarbound(scip, cons); in writeOpbConstraints() 3639 SCIPfreeBufferArray(scip, &consvars); in writeOpbConstraints() 3753 if( consvars[v] == slackvar ) in writeOpbConstraints() 3780 SCIPfreeBufferArray(scip, &consvars); in writeOpbConstraints() 3789 SCIPfreeBufferArray(scip, &consvars); in writeOpbConstraints() 3797 consvars[nonbinarypos] = consvars[nconsvars]; in writeOpbConstraints() [all …]
|
H A D | prop_symmetry.c | 1406 SCIP_VAR** consvars; in computeSymmetryGroup() local 1588 consvars[i] = curconsvars[i]; in computeSymmetryGroup() 1635 consvars[j] = curconsvars[j]; in computeSymmetryGroup() 1643 consvars[nconsvars] = var; in computeSymmetryGroup() 1664 consvars[j] = curconsvars[j]; in computeSymmetryGroup() 1689 consvars[j] = curconsvars[j]; in computeSymmetryGroup() 1723 consvars[0] = SCIPgetVarVarbound(scip, cons); in computeSymmetryGroup() 1726 consvars[1] = SCIPgetVbdvarVarbound(scip, cons); in computeSymmetryGroup() 1775 consvars[j] = bounddisjvars[j]; in computeSymmetryGroup() 1790 if ( consvars[j] == consvars[k] ) in computeSymmetryGroup() [all …]
|
H A D | sepa_cgmip.c | 1063 SCIP_VAR** consvars; in createSubscip() local 1715 consvars[nconsvars] = mipdata->z[j]; in createSubscip() 1722 consvars[nconsvars] = mipdata->alpha[j]; in createSubscip() 1868 consvars[nconsvars] = mipdata->ylhs[i]; in createSubscip() 1876 consvars[nconsvars] = mipdata->yrhs[i]; in createSubscip() 1915 consvars[nconsvars] = mipdata->z[j]; in createSubscip() 1922 consvars[nconsvars] = mipdata->beta; in createSubscip() 1927 consvars[nconsvars] = mipdata->fracbeta; in createSubscip() 1961 consvars[nconsvars] = mipdata->beta; in createSubscip() 1988 consvars[nconsvars] = mipdata->beta; in createSubscip() [all …]
|
H A D | heur_feaspump.c | 472 SCIP_VAR** consvars; in addLocalBranchingConstraint() local 488 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nbinvars) ); in addLocalBranchingConstraint() 513 consvars[nconsvars] = (SCIP_VAR*) SCIPhashmapGetImage(varmapfw, vars[i]); in addLocalBranchingConstraint() 514 if( consvars[nconsvars] == NULL ) in addLocalBranchingConstraint() 516 SCIP_CALL( SCIPchgVarObj(probingscip, consvars[nconsvars], consvals[nconsvars]) ); in addLocalBranchingConstraint() 517 assert( SCIPvarGetType(consvars[nconsvars]) == SCIP_VARTYPE_BINARY ); in addLocalBranchingConstraint() 522 SCIP_CALL( SCIPcreateConsLinear(probingscip, &cons, consname, nconsvars, consvars, consvals, in addLocalBranchingConstraint() 529 SCIPfreeBufferArray(scip, &consvars); in addLocalBranchingConstraint()
|
H A D | heur_lpface.c | 245 SCIP_VAR** consvars; /* new constraint's variables */ in createRows() local 281 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nnonz) ); in createRows() 284 consvars[j] = subvars[SCIPvarGetProbindex(SCIPcolGetVar(cols[j]))]; in createRows() 285 if( consvars[j] == NULL ) in createRows() 291 SCIPfreeBufferArray(scip, &consvars); in createRows() 308 …SCIP_CALL( SCIPcreateConsLinear(subscip, &cons, SCIProwGetName(rows[i]), nnonz, consvars, vals, lh… in createRows() 314 SCIPfreeBufferArray(scip, &consvars); in createRows()
|
H A D | heur_dins.c | 376 SCIP_VAR** consvars; in addLocalBranchingConstraint() local 397 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nbinvars) ); in addLocalBranchingConstraint() 426 consvars[nconsvars++] = subvars[i]; in addLocalBranchingConstraint() 430 SCIP_CALL( SCIPcreateConsLinear(subscip, &cons, consname, nconsvars, consvars, consvals, in addLocalBranchingConstraint() 436 SCIPfreeBufferArray(scip, &consvars); in addLocalBranchingConstraint()
|
H A D | reader_mps.c | 3936 SCIP_VAR** consvars; in SCIPwriteMps() local 4219 consvars[0] = SCIPgetVarVarbound(scip, cons); in SCIPwriteMps() 4220 consvars[1] = SCIPgetVbdvarVarbound(scip, cons); in SCIPwriteMps() 4236 SCIPfreeBufferArray(scip, &consvars); in SCIPwriteMps() 4278 consvars = SCIPgetVarsSOS1(scip, cons); in SCIPwriteMps() 4292 consvars = SCIPgetVarsSOS2(scip, cons); in SCIPwriteMps() 4348 consvars = quadvars; in SCIPwriteMps() 4366 consvars = SCIPgetLhsVarsSOC(scip, cons); in SCIPwriteMps() 4720 consvars = SCIPgetVarsSOS1(scip, cons); in SCIPwriteMps() 4749 consvars = SCIPgetVarsSOS2(scip, cons); in SCIPwriteMps() [all …]
|
H A D | presol_sparsify.c | 578 SCIP_VAR** consvars; in cancelRow() local 582 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, cancelrowlen) ); in cancelRow() 585 consvars[i] = SCIPmatrixGetVar(matrix, cancelrowinds[i]); in cancelRow() 588 …onsLinear(scip, &cons, SCIPmatrixGetRowName(matrix, rowidx), cancelrowlen, consvars, cancelrowvals, in cancelRow() 616 SCIPfreeBufferArray(scip, &consvars); in cancelRow()
|
H A D | cons_components.c | 1739 SCIP_VAR** consvars; in fillDigraph() local 1761 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nvars) ); in fillDigraph() 1782 SCIP_CALL( SCIPreallocBufferArray(scip, &consvars, nvars) ); in fillDigraph() 1789 BMSclearMemoryArray(consvars, nconsvars); in fillDigraph() 1794 BMSclearMemoryArray(consvars, nconsvars + 1); in fillDigraph() 1799 SCIP_CALL( SCIPgetConsVars(scip, conss[c], consvars, nvars, success) ); in fillDigraph() 1813 assert(consvars[v] != NULL); in fillDigraph() 1815 assert(consvars[nconsvars] == NULL); in fillDigraph() 1833 idx1 = SCIPvarGetProbindex(consvars[v]); in fillDigraph() 1850 idx2 = SCIPvarGetProbindex(consvars[v]); in fillDigraph() [all …]
|
H A D | heur_subnlp.c | 1595 SCIP_VAR** consvars; in forbidFixation() local 1615 consvars = NULL; in forbidFixation() 1626 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nsubbinvars) ); in forbidFixation() 1649 consvars[nconsvars] = var; in forbidFixation() 1653 SCIP_CALL( SCIPgetNegatedVar(scip, var, &consvars[nconsvars]) ); in forbidFixation() 1663 SCIP_CALL( SCIPcreateConsSetcover(scip, &cons, name, nconsvars, consvars, in forbidFixation() 1677 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nsubbinvars + 2*nsubintvars) ); in forbidFixation() 1708 consvars[nconsvars] = var; in forbidFixation() 1719 consvars[nconsvars] = var; in forbidFixation() 1730 SCIPfreeBufferArray(scip, &consvars); in forbidFixation() [all …]
|
/dports/math/SCIP/scip-7.0.3/tests/src/cons/bounddisjunction/ |
H A D | creation.c | 40 SCIP_VAR** consvars; in Test() local 80 consvars = SCIPgetVarsBounddisjunction(scip, cons); in Test() 84 cr_assert( consvars[0] == vars[0] ); in Test() 85 cr_assert( consvars[1] == vars[1] ); in Test() 86 cr_assert( consvars[2] == vars[1] ); in Test() 115 SCIP_VAR** consvars; in Test() local 157 consvars = SCIPgetVarsBounddisjunction(scip, cons); in Test() 161 cr_assert( consvars[0] == vars[0] ); in Test() 188 SCIP_VAR** consvars; in Test() local 238 cr_assert( consvars[0] == vars[1] ); in Test() [all …]
|
/dports/math/SCIP/scip-7.0.3/applications/MinIISC/src/ |
H A D | classify.c | 633 SCIP_VAR* consvars[2]; in createAltLP() local 636 consvars[0] = SCIPgetVarVarbound(origscip, origcons); in createAltLP() 637 consvars[1] = SCIPgetVbdvarVarbound(origscip, origcons); in createAltLP() 642 …SCIP_CALL( createAltLPColumn(origscip, lp, 2, consvars, consvals, SCIPgetRhsVarbound(origscip, ori… in createAltLP() 720 SCIP_VAR** consvars; in readLIBSVM() local 754 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nmaxvars + 1) ); in readLIBSVM() 831 SCIP_CALL( SCIPreallocBufferArray(scip, &consvars, newsize + 1) ); in readLIBSVM() 857 consvars[cnt] = vars[idx-1]; in readLIBSVM() 864 consvars[cnt] = rhsvar; in readLIBSVM() 868 …SCIP_CALL( SCIPcreateConsBasicLinear(scip, &cons, name, cnt, consvars, consvals, delta, SCIPinfini… in readLIBSVM() [all …]
|
H A D | miniisc.c | 630 SCIP_VAR* consvars[2]; in createAltLP() local 633 consvars[0] = SCIPgetVarVarbound(origscip, origcons); in createAltLP() 634 consvars[1] = SCIPgetVbdvarVarbound(origscip, origcons); in createAltLP() 639 …SCIP_CALL( createAltLPColumn(origscip, lp, 2, consvars, consvals, SCIPgetRhsVarbound(origscip, ori… in createAltLP() 640 …SCIP_CALL( createAltLPColumn(origscip, lp, 2, consvars, consvals, SCIPgetLhsVarbound(origscip, ori… in createAltLP()
|
/dports/math/SCIP/scip-7.0.3/interfaces/gams/src/ |
H A D | reader_gmo.c | 1295 SCIP_VAR** consvars = NULL; in SCIPcreateProblemReaderGmo() local 1570 consvars[k] = vars[sosind[j]]; in SCIPcreateProblemReaderGmo() 1706 consvars[j] = vars[indices[j]]; in SCIPcreateProblemReaderGmo() 1752 SCIP_CALL( SCIPcreateConsLinear(scip, &con, buffer, nz, consvars, coefs, lhs, rhs, in SCIPcreateProblemReaderGmo() 1772 consvars[j] = vars[indices[j]]; in SCIPcreateProblemReaderGmo() 1808 consvars[linnz] = vars[indices[j]]; in SCIPcreateProblemReaderGmo() 1872 consvars[j] = vars[indices[j]]; in SCIPcreateProblemReaderGmo() 1874 consvars[nz] = probdata->objvar; in SCIPcreateProblemReaderGmo() 1922 consvars[linnz] = vars[indices[j]]; in SCIPcreateProblemReaderGmo() 1927 consvars[linnz] = probdata->objvar; in SCIPcreateProblemReaderGmo() [all …]
|