Home
last modified time | relevance | path

Searched refs:_objVar (Results 1 – 3 of 3) sorted by relevance

/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/
H A Dsolver_instance_defs.hh14 Objective(Var v, double w) : _objVar{v}, _weight(w) {} in Objective()
15 Var getVariable() const { return _objVar; } in getVariable()
17 void setVariable(Var vd) { _objVar = vd; } in setVariable()
21 Var _objVar{}; member in MiniZinc::MultipleObjectivesTemplate::Objective
/dports/math/minizinc/libminizinc-2.5.5/solvers/geas/
H A Dgeas_solverinstance.cpp302 _objVar = std::unique_ptr<GeasTypes::Variable>(new GeasTypes::Variable(resolveVar(si->e()))); in processFlatZinc()
305 _objVar = std::unique_ptr<GeasTypes::Variable>(new GeasTypes::Variable(-asIntVar(si->e()))); in processFlatZinc()
495 assert(_objVar->isInt()); in solve()
496 geas::intvar obj = _objVar->intVar(); in solve()
/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/
H A Dgeas_solverinstance.hh111 std::unique_ptr<GeasTypes::Variable> _objVar; member in MiniZinc::GeasSolverInstance