Searched refs:sLitValues (Results 1 – 2 of 2) sorted by relevance
200 std::unordered_map<double, VarId> sLitValues; member in MIPWrapper233 sLitValues[v] = res; in addLitVar()
422 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()