Home
last modified time | relevance | path

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

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_pseudoboolean.c180 SCIP_Bool* andnegs; /**< array of negation status for and-constraints of member
786SCIP_Bool*const andnegs, /**< array to store negation status of and-resultant var… in getLinVarsAndAndRess()
927 SCIP_Bool* andnegs; in checkConsConsistency() local
1817 SCIP_Bool* andnegs; in consdataPrint() local
2400 SCIP_Bool* andnegs; in chgLhs() local
2574 SCIP_Bool* andnegs; in chgRhs() local
2733 SCIP_RETCODE createAndAddAnds( in createAndAddAnds()
2810 SCIP_Bool*const andnegs, /**< and-resultant negation status */ in createAndAddLinearCons()
5762 SCIP_Bool* andnegs; in tryUpgradingXor() local
8430 SCIP_Bool* andnegs; in SCIP_DECL_CONSPRESOL() local
[all …]