Searched refs:cardvars (Results 1 – 1 of 1) sorted by relevance
12686 SCIP_VAR** cardvars; in SCIP_DECL_CONSPRESOL() local12694 SCIP_CALL( SCIPallocClearBufferArray(scip, &cardvars, nscipvars) ); in SCIP_DECL_CONSPRESOL()12778 cardvars[v] = implvars[j]; in SCIP_DECL_CONSPRESOL()12838 …CIPcreateConsCardinality(scip, &cardcons, SCIPconsGetName(cons), nvars, cardvars, (int) consdata->… in SCIP_DECL_CONSPRESOL()12877 SCIPfreeBufferArray(scip, &cardvars); in SCIP_DECL_CONSPRESOL()