Home
last modified time | relevance | path

Searched refs:regardimplics (Results 1 – 4 of 4) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dpub_var.h328 …SCIP_Bool regardimplics /**< should the implication graph also be searched for a…
H A Dscip_var.h2634 …SCIP_Bool regardimplics /**< should the implication graph also be searched for a…
H A Dscip_var.c7639 …SCIP_Bool regardimplics /**< should the implication graph also be searched for a… in SCIPhaveVarsCommonClique() argument
7660 || SCIPvarsHaveCommonClique(var1, value1, var2, value2, regardimplics)); in SCIPhaveVarsCommonClique()
H A Dvar.c11253 …SCIP_Bool regardimplics /**< should the implication graph also be searched for a… in SCIPvarsHaveCommonClique() argument
11264 …|| (regardimplics && SCIPvarHasImplic(var1, value1, var2, value2 ? SCIP_BOUNDTYPE_UPPER : SCIP_BOU… in SCIPvarsHaveCommonClique()