Home
last modified time | relevance | path

Searched refs:SCIPcreateConsSetcover (Results 1 – 9 of 9) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_setppc.h195 SCIP_RETCODE SCIPcreateConsSetcover(
H A Dreader_cnf.c270 SCIP_CALL( SCIPcreateConsSetcover(scip, &cons, s, clauselen, clausevars, in readCnf()
H A Dheur_undercover.c436 … SCIP_CALL( SCIPcreateConsSetcover(coveringscip, &coveringcons, name, 2, coveringconsvars, in processNlRow()
554 SCIP_CALL( SCIPcreateConsSetcover(coveringscip, &coveringcons, name, 2, coveringconsvars, in processNlRow()
1451 SCIP_CALL( SCIPcreateConsSetcover(scip, &cons, name, nconsvars, consvars, in forbidCover()
H A Dcons_countsols.c489 …SCIP_CALL( SCIPcreateConsSetcover(scip, &cons, "Setcovering created by countsols", nvars, consvars, in CUTOFF_CONSTRAINT()
615 …SCIP_CALL( SCIPcreateConsSetcover(scip, &cons, "Setcovering created by countsols", nbinvars, consv… in CUTOFF_CONSTRAINT()
H A Dcons_setppc.c7665 SCIP_CALL( SCIPcreateConsSetcover(scip, &newcons, name, nselcands, sortcands, in branchLP()
8665 SCIP_CALL( SCIPcreateConsSetcover(scip, cons, name, nvars, vars, in SCIP_DECL_CONSPARSE()
8926 SCIP_CALL( SCIPcreateConsSetcover(scip, &cons, consname, nbdchginfos, vars, in SCIP_DECL_CONFLICTEXEC()
9164 SCIP_RETCODE SCIPcreateConsSetcover( in SCIPcreateConsSetcover() function
9212 SCIP_CALL( SCIPcreateConsSetcover(scip, cons, name, nvars, vars, in SCIPcreateConsBasicSetcover()
H A Dheur_subnlp.c1663 SCIP_CALL( SCIPcreateConsSetcover(scip, &cons, name, nconsvars, consvars, in forbidFixation()
H A Dcons_pseudoboolean.c3196 SCIP_CALL( SCIPcreateConsSetcover(scip, &cons, name, nvars, transvars, in createAndAddLinearCons()
/dports/math/SCIP/scip-7.0.3/applications/Coloring/src/
H A Dprobdata_coloring.c1316 …SCIP_CALL( SCIPcreateConsSetcover(scip, &constraints[i], consname, 0, NULL, TRUE, TRUE, TRUE, TRUE… in COLORprobSetUpArrayOfCons()
/dports/math/SCIP/scip-7.0.3/
H A DCHANGELOG6575SCIPcreateConsSetcover(): usually, you should set this to FALSE; if you want to add constraints as…