Searched refs:andnegs (Results 1 – 1 of 1) sorted by relevance
897 assert(andnegs != NULL); in getLinVarsAndAndRess()927 SCIP_Bool* andnegs; in checkConsConsistency() local1289 if( andnegs != NULL ) in consdataCreate()1377 (*consdata)->andnegs = NULL; in consdataCreate()1817 SCIP_Bool* andnegs; in consdataPrint() local2400 SCIP_Bool* andnegs; in chgLhs() local2574 SCIP_Bool* andnegs; in chgRhs() local5762 SCIP_Bool* andnegs; in tryUpgradingXor() local5797 andnegs = consdata->andnegs; in tryUpgradingXor()8430 SCIP_Bool* andnegs; in SCIP_DECL_CONSPRESOL() local[all …]