Home
last modified time | relevance | path

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

/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/MIP/
H A DMIP_wrap.hh200 std::unordered_map<double, VarId> sLitValues; member in MIPWrapper
233 sLitValues[v] = res; in addLitVar()
H A DMIP_solverinstance.hpp422 if (_mipWrapper->fVerbose && (!_mipWrapper->sLitValues.empty())) { in processFlatZinc()
424 << " literals with " << _mipWrapper->sLitValues.size() << " values used." in processFlatZinc()
451 if (!_mipWrapper->sLitValues.empty()) { in processFlatZinc()
453 << _mipWrapper->sLitValues.size() << " values used." << std::endl; in processFlatZinc()