Searched refs:NLVar (Results 1 – 5 of 5) sorted by relevance
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/nl/ |
| H A D | nl_components.hh | 182 class NLVar { class
209 NLVar() = default;
212 NLVar(std::string name, bool isInteger, bool to_report, NLBound bound) in NLVar() function in MiniZinc::NLVar
216 NLVar copyWithBound(NLBound bound) const;
|
| H A D | nl_file.hh | 74 std::map<std::string, NLVar> variables = {};
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/nl/ |
| H A D | nl_components.cpp | 188 NLVar NLVar::copyWithBound(NLBound bound) const { in copyWithBound()
189 NLVar v = NLVar(*this); // copy constructor in copyWithBound()
|
| H A D | nl_file.cpp | 206 NLVar v = NLVar(name, true, toReport, bound); in addVarDeclInteger()
226 NLVar v = NLVar(name, false, toReport, bound); in addVarDeclFloat()
572 NLVar& v = variables.at(y.str); in nlconsEq()
577 NLVar& v = variables.at(x.str); in nlconsEq()
612 NLVar& v = variables.at(y.str); in nlconsLe()
617 NLVar& v = variables.at(x.str); in nlconsLe()
1329 const NLVar& v = name_var.second; in phase2()
1508 NLVar v = variables.at(n); in printToStream()
|
| H A D | nl_solreader.cpp | 179 NLVar v = _nlFile.variables[n]; in parseSolution()
|