Searched refs:regardimplics (Results 1 – 4 of 4) sorted by relevance
328 …SCIP_Bool regardimplics /**< should the implication graph also be searched for a…
2634 …SCIP_Bool regardimplics /**< should the implication graph also be searched for a…
7639 …SCIP_Bool regardimplics /**< should the implication graph also be searched for a… in SCIPhaveVarsCommonClique() argument7660 || SCIPvarsHaveCommonClique(var1, value1, var2, value2, regardimplics)); in SCIPhaveVarsCommonClique()
11253 …SCIP_Bool regardimplics /**< should the implication graph also be searched for a… in SCIPvarsHaveCommonClique() argument11264 …|| (regardimplics && SCIPvarHasImplic(var1, value1, var2, value2 ? SCIP_BOUNDTYPE_UPPER : SCIP_BOU… in SCIPvarsHaveCommonClique()