| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | heur_undercover.c | 753 SCIP_VAR* repvar; in createCoveringProblem() local
757 assert(repvar != NULL); in createCoveringProblem()
770 if( SCIPvarIsNegated(repvar) ) in createCoveringProblem()
813 SCIP_VAR* repvar; in createCoveringProblem() local
817 assert(repvar != NULL); in createCoveringProblem()
830 if( SCIPvarIsNegated(repvar) ) in createCoveringProblem()
954 SCIP_VAR* repvar; in createCoveringProblem() local
958 assert(repvar != NULL); in createCoveringProblem()
1063 SCIP_VAR* repvar; in createCoveringProblem() local
1069 assert(repvar != NULL); in createCoveringProblem()
[all …]
|
| H A D | branch_relpscost.c | 389 SCIP_VAR* repvar; in binvarGetActiveProbindex() local
392 SCIP_CALL( SCIPgetBinvarRepresentative(scip, var, &repvar, &negated) ); in binvarGetActiveProbindex()
393 assert(repvar != NULL); in binvarGetActiveProbindex()
394 assert(SCIPvarGetStatus(repvar) != SCIP_VARSTATUS_FIXED); in binvarGetActiveProbindex()
396 if( SCIPvarIsActive(repvar) ) in binvarGetActiveProbindex()
397 *probindex = SCIPvarGetProbindex(repvar); in binvarGetActiveProbindex()
398 else if( SCIPvarIsNegated(repvar) ) in binvarGetActiveProbindex()
399 *probindex = SCIPvarGetProbindex(SCIPvarGetNegationVar(repvar)); in binvarGetActiveProbindex()
|
| H A D | cons_and.c | 839 SCIP_VAR* repvar; in applyFixings() local
843 SCIP_CALL( SCIPgetBinvarRepresentative(scip, var, &repvar, &negated) ); in applyFixings()
846 if( repvar != var ) in applyFixings()
852 SCIP_CALL( addCoef(scip, cons, eventhdlr, repvar) ); in applyFixings()
863 SCIP_VAR* repvar; in applyFixings() local
867 SCIP_CALL( SCIPgetBinvarRepresentative(scip, consdata->resvar, &repvar, &negated) ); in applyFixings()
868 assert(SCIPvarIsBinary(repvar)); in applyFixings()
871 if( repvar != consdata->resvar ) in applyFixings()
880 SCIP_CALL( SCIPcatchVarEvent(scip, repvar, SCIP_EVENTTYPE_BOUNDCHANGED, in applyFixings()
888 SCIP_CALL( SCIPcaptureVar(scip, repvar) ); in applyFixings()
[all …]
|
| H A D | cons_or.c | 663 SCIP_VAR* repvar; in applyFixings() local
667 SCIP_CALL( SCIPgetBinvarRepresentative(scip, var, &repvar, &negated) ); in applyFixings()
670 if( repvar != var ) in applyFixings()
676 SCIP_CALL( addCoef(scip, cons, eventhdlr, repvar) ); in applyFixings()
|
| H A D | cons_xor.c | 912 SCIP_VAR* repvar; in applyFixings() local
916 SCIP_CALL( SCIPgetBinvarRepresentative(scip, var, &repvar, &negated) ); in applyFixings()
924 assert(SCIPvarIsNegated(repvar)); in applyFixings()
926 repvar = SCIPvarGetNegationVar(repvar); in applyFixings()
931 if( repvar != var ) in applyFixings()
937 SCIP_CALL( addCoef(scip, cons, repvar) ); in applyFixings()
|
| H A D | cons_setppc.c | 1750 SCIP_VAR* repvar; in applyFixings() local
1754 SCIP_CALL( SCIPgetBinvarRepresentative(scip, var, &repvar, &negated) ); in applyFixings()
1757 …tStatus(repvar) == SCIP_VARSTATUS_MULTAGGR || (SCIPvarGetStatus(repvar) == SCIP_VARSTATUS_NEGATED … in applyFixings()
1770 consvars[0] = repvar; in applyFixings()
1969 if( repvar != var ) in applyFixings()
1975 SCIP_CALL( addCoef(scip, cons, repvar) ); in applyFixings()
1988 if( repvar != var ) in applyFixings()
1994 SCIP_CALL( addCoef(scip, cons, repvar) ); in applyFixings()
|
| H A D | scip_var.h | 711 SCIP_VAR** repvar, /**< pointer to store the binary representative */
|
| H A D | cons_knapsack.c | 7159 SCIP_VAR* repvar; in applyFixings() local
7168 SCIP_CALL( SCIPgetBinvarRepresentative(scip, var, &repvar, &negated) ); in applyFixings()
7169 assert(repvar != NULL); in applyFixings()
7172 if( SCIPvarIsNegated(repvar) ) in applyFixings()
7174 workvar = SCIPvarGetNegatedVar(repvar); in applyFixings()
7180 workvar = repvar; in applyFixings()
7278 else if( repvar != var ) in applyFixings()
7284 SCIP_CALL( addCoef(scip, cons, repvar, weight) ); in applyFixings()
|
| H A D | scip_var.c | 1597 SCIP_VAR** repvar, /**< pointer to store the binary representative */ in SCIPgetBinvarRepresentative() argument
1603 assert(repvar != NULL); in SCIPgetBinvarRepresentative()
1610 *repvar = var; in SCIPgetBinvarRepresentative()
1612 SCIP_CALL( SCIPvarGetProbvarBinary(repvar, negated) ); in SCIPgetBinvarRepresentative()
1617 SCIP_CALL( SCIPgetNegatedVar(scip, *repvar, repvar) ); in SCIPgetBinvarRepresentative()
|
| /dports/devel/cmake-doc/cmake-3.22.1/Tests/StringFileTest/ |
| H A D | StringFile.cxx | 13 res += CheckMethod(repvar, "People should use CMake"); in main()
|
| /dports/devel/cmake-gui/cmake-3.22.1/Tests/StringFileTest/ |
| H A D | StringFile.cxx | 13 res += CheckMethod(repvar, "People should use CMake"); in main()
|
| /dports/devel/cmake/cmake-3.22.1/Tests/StringFileTest/ |
| H A D | StringFile.cxx | 13 res += CheckMethod(repvar, "People should use CMake"); in main()
|
| H A D | CMakeLists.txt | 84 string(REPLACE "Autoconf" "CMake" repvar "People should use Autoconf")
162 repvar
|
| /dports/lang/racket/racket-8.3/collects/racket/match/ |
| H A D | compiler.rkt | 413 (for/list ([repvar reps] [maxrep maxs])
414 (if maxrep #`(< #,repvar #,maxrep) #`#t))]
416 (for/list ([repvar reps] [minrep mins] #:when minrep)
417 #`[(< #,repvar #,minrep) (fail)])]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/match/ |
| H A D | compiler.rkt | 413 (for/list ([repvar reps] [maxrep maxs])
414 (if maxrep #`(< #,repvar #,maxrep) #`#t))]
416 (for/list ([repvar reps] [minrep mins] #:when minrep)
417 #`[(< #,repvar #,minrep) (fail)])]
|