Home
last modified time | relevance | path

Searched refs:opimpladded (Results 1 – 2 of 2) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_or.c104 …unsigned int opimpladded:1; /**< was the implication for 2 operands with fixed resul… member
421 (*consdata)->opimpladded = FALSE; in consdataCreate()
1770 if( !cutoff && SCIPconsIsActive(cons) && consdata->nvars == 2 && !consdata->opimpladded in SCIP_DECL_CONSPRESOL()
1778 consdata->opimpladded = TRUE; in SCIP_DECL_CONSPRESOL()
H A Dcons_and.c128 …unsigned int opimpladded:1; /**< was the implication for 2 operands with fixed resul… member
455 (*consdata)->opimpladded = FALSE; in consdataCreate()
4534 if( !cutoff && SCIPconsIsActive(cons) && consdata->nvars == 2 && !consdata->opimpladded in SCIP_DECL_CONSPRESOL()
4542 consdata->opimpladded = TRUE; in SCIP_DECL_CONSPRESOL()