Searched refs:resolveprop (Results 1 – 7 of 7) sorted by relevance
/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | cons_orbitope.h | 101 SCIP_Bool resolveprop, /**< should propagation be resolved? */ 145 SCIP_Bool resolveprop, /**< should propagation be resolved? */
|
H A D | cons_orbitope.c | 168 …SCIP_Bool resolveprop; /**< should propagation be resolved? … member 240 …SCIP_Bool resolveprop, /**< should propagation be resolved? … in consdataCreate() argument 284 (*consdata)->resolveprop = resolveprop; in consdataCreate() 2129 if ( ! consdata->resolveprop ) in resolvePropagation() 3024 …sourcedata->orbitopetype, sourcedata->resolveprop, conshdlrdata->usedynamicprop, sourcedata->ismod… in SCIP_DECL_CONSTRANS() 3544 …vars, sourcedata->orbitopetype, nspcons, nblocks, sourcedata->resolveprop, sourcedata->ismodelcons, in SCIP_DECL_CONSCOPY() 3813 SCIP_Bool resolveprop, /**< should propagation be resolved? */ in SCIPcreateConsOrbitope() argument 3909 resolveprop, conshdlrdata->usedynamicprop, ismodelcons) ); in SCIPcreateConsOrbitope() 3931 SCIP_Bool resolveprop, /**< should propagation be resolved? */ in SCIPcreateConsBasicOrbitope() argument 3935 …reateConsOrbitope(scip, cons, name, vars, orbitopetype, nspcons, nblocks, resolveprop, ismodelcons, in SCIPcreateConsBasicOrbitope()
|
/dports/math/minizinc/libminizinc-2.5.5/share/minizinc/linear/ |
H A D | fzn_lex_chain_lesseq_orbitope.mzn | 17 int: m, int: orbType, bool: resolveprop, bool: isModelCons);
|
/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/MIP/ |
H A D | MIP_scip_wrap.hh | 124 SCIP_Bool resolveprop, /**< should propagation be resolved? */ 386 void addLexChainLesseq(int m, int n, int* rmatind, int nOrbitopeType, bool resolveprop,
|
H A D | MIP_wrap.hh | 293 virtual void addLexChainLesseq(int m, int n, int* rmatind, int nOrbitopeType, bool resolveprop, in addLexChainLesseq() argument
|
H A D | MIP_solverinstance.hpp | 1025 auto resolveprop = gi.exprToConst(call->arg(3)); in p_lex_chain_lesseq_binary() local 1029 m, vars.size() / m, vars.data(), orbitopeType, (bool)resolveprop, (bool)isModelCons, in p_lex_chain_lesseq_binary()
|
/dports/math/minizinc/libminizinc-2.5.5/solvers/MIP/ |
H A D | MIP_scip_wrap.cpp | 591 bool resolveprop, bool isModelCons, in addLexChainLesseq() argument 606 (SCIP_Bool)resolveprop, (SCIP_Bool)isModelCons)); in addLexChainLesseq()
|