Home
last modified time | relevance | path

Searched refs:resolveprop (Results 1 – 7 of 7) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_orbitope.h101 SCIP_Bool resolveprop, /**< should propagation be resolved? */
145 SCIP_Bool resolveprop, /**< should propagation be resolved? */
H A Dcons_orbitope.c168 …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 Dfzn_lex_chain_lesseq_orbitope.mzn17 int: m, int: orbType, bool: resolveprop, bool: isModelCons);
/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/MIP/
H A DMIP_scip_wrap.hh124 SCIP_Bool resolveprop, /**< should propagation be resolved? */
386 void addLexChainLesseq(int m, int n, int* rmatind, int nOrbitopeType, bool resolveprop,
H A DMIP_wrap.hh293 virtual void addLexChainLesseq(int m, int n, int* rmatind, int nOrbitopeType, bool resolveprop, in addLexChainLesseq() argument
H A DMIP_solverinstance.hpp1025 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 DMIP_scip_wrap.cpp591 bool resolveprop, bool isModelCons, in addLexChainLesseq() argument
606 (SCIP_Bool)resolveprop, (SCIP_Bool)isModelCons)); in addLexChainLesseq()