Home
last modified time | relevance | path

Searched defs:upgdcons (Results 1 – 2 of 2) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_linear.c16626 SCIP_CONS* upgdcons; in SCIP_DECL_CONSPRESOL() local
17345 SCIP_CONS* upgdcons; in SCIP_DECL_CONFLICTEXEC() local
18621 …SCIP_CONS** upgdcons /**< pointer to store upgraded constraint, or NULL if no… in SCIPupgradeConsLinear()
H A Dconflict.c2992 SCIP_CONS* upgdcons; in createAndAddProofcons() local