| /dports/math/py-or-tools/or-tools-9.2/ortools/java/com/google/ortools/sat/ |
| H A D | CpModel.java | 161 lin.addVars(newConstant(1).getIndex()).addCoeffs(offset); in addLinearExpressionInDomain()
303 element.addVars(var.getIndex()); in addElement()
315 element.addVars(indexFromConstant(v)); in addElement()
327 element.addVars(indexFromConstant(v)); in addElement()
387 table.addVars(var.getIndex()); in addAllowedAssignments()
411 table.addVars(var.getIndex()); in addAllowedAssignments()
493 automaton.addVars(var.getIndex()); in addAutomaton()
1113 cumul.addDemandsBuilder().addVars(var.getIndex()).addCoeffs(1); in addCumulative()
1131 cumul.addDemandsBuilder().addVars(var.getIndex()).addCoeffs(1); in addCumulative()
1193 modelBuilder.getSolutionHintBuilder().addVars(var.getIndex()); in addHint()
[all …]
|
| /dports/shells/elvish/elvish-0.17.0/pkg/edit/ |
| H A D | vars.go | 13 "add-vars": addVars,
61 func addVars(fm *eval.Frame, m vals.Map) error { func
|
| H A D | vars_test.go | 29 ev.ExtendGlobal(eval.BuildNs().AddGoFn("add-vars", addVars))
|
| /dports/lang/abcl/abcl-src-1.8.0/src/org/armedbear/lisp/ |
| H A D | ArgumentListProcessor.java | 552 parameter.addVars(vars); in extractVariables()
554 parameter.addVars(vars); in extractVariables()
556 parameter.addVars(vars); in extractVariables()
833 abstract void addVars(List vars); in addVars() method in ArgumentListProcessor.Param
885 void addVars(List vars) { in addVars() method in ArgumentListProcessor.EnvironmentParam
925 void addVars(List vars) { in addVars() method in ArgumentListProcessor.RequiredParam
990 void addVars(List vars) { in addVars() method in ArgumentListProcessor.OptionalParam
1020 void addVars(List vars) { in addVars() method in ArgumentListProcessor.RestParam
1064 void addVars(List vars) { in addVars() method in ArgumentListProcessor.AuxParam
|
| /dports/math/bcps/CHiPPS-BiCePS-releases-0.99.2/Bcps/src/ |
| H A D | BcpsNodeDesc.h | 345 void addVariables(int numAdd, BcpsObject **addVars){ in addVariables() argument
354 vars_->objects = addVars; in addVariables()
|
| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | program_builder.cpp | 110 Var start = ctx()->addVars(numVars, Var_t::Atom, VarInfo::Input | VarInfo::Nant); in prepareProblem()
188 ctx()->addVars(softVars, Var_t::Atom, VarInfo::Nant); in doEndProgram()
224 Var out = ctx()->addVars(numVars, Var_t::Atom, VarInfo::Nant | VarInfo::Input); in prepareProblem()
225 auxVar_ = ctx()->addVars(numProd + numSoft, Var_t::Atom, VarInfo::Nant); in prepareProblem()
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | program_builder.cpp | 110 Var start = ctx()->addVars(numVars, Var_t::Atom, VarInfo::Input | VarInfo::Nant); in prepareProblem()
188 ctx()->addVars(softVars, Var_t::Atom, VarInfo::Nant); in doEndProgram()
224 Var out = ctx()->addVars(numVars, Var_t::Atom, VarInfo::Nant | VarInfo::Input); in prepareProblem()
225 auxVar_ = ctx()->addVars(numProd + numSoft, Var_t::Atom, VarInfo::Nant); in prepareProblem()
|
| /dports/math/clingo/clingo-5.5.1/clasp/src/ |
| H A D | program_builder.cpp | 110 Var start = ctx()->addVars(numVars, Var_t::Atom, VarInfo::Input | VarInfo::Nant); in prepareProblem()
188 ctx()->addVars(softVars, Var_t::Atom, VarInfo::Nant); in doEndProgram()
224 Var out = ctx()->addVars(numVars, Var_t::Atom, VarInfo::Nant | VarInfo::Input); in prepareProblem()
225 auxVar_ = ctx()->addVars(numProd + numSoft, Var_t::Atom, VarInfo::Nant); in prepareProblem()
|
| /dports/www/e107/e107/e107_plugins/forum/shortcodes/batch/ |
| H A D | viewforum_shortcodes.php | 501 $this->addVars($subInfo);
782 $this->addVars($temp);
930 $this->addVars($temp);
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/shakespeare-2.0.25/Text/ |
| H A D | Shakespeare.hs | 239 withVars = (addVars mWrapI vars parsed)
269 addVars _ [] str = str function
270 addVars Nothing _ str = str function
271 addVars (Just WrapInsertion {..}) vars str =
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/shakespeare-2.0.25/Text/ |
| H A D | Shakespeare.hs | 239 withVars = (addVars mWrapI vars parsed)
269 addVars _ [] str = str function
270 addVars Nothing _ str = str function
271 addVars (Just WrapInsertion {..}) vars str =
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/shakespeare-2.0.25/Text/ |
| H A D | Shakespeare.hs | 239 withVars = (addVars mWrapI vars parsed)
269 addVars _ [] str = str function
270 addVars Nothing _ str = str function
271 addVars (Just WrapInsertion {..}) vars str =
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/shakespeare-2.0.24/Text/ |
| H A D | Shakespeare.hs | 251 withVars = (addVars mWrapI vars parsed)
281 addVars _ [] str = str function
282 addVars Nothing _ str = str function
283 addVars (Just WrapInsertion {..}) vars str =
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/shakespeare-2.0.24.1/Text/ |
| H A D | Shakespeare.hs | 237 withVars = (addVars mWrapI vars parsed)
267 addVars _ [] str = str function
268 addVars Nothing _ str = str function
269 addVars (Just WrapInsertion {..}) vars str =
|
| /dports/www/e107/e107/e107_plugins/chatbox_menu/ |
| H A D | chatbox_menu_shortcodes.php | 25 $this->addVars($this->retrieveUserDataByNick());
|
| /dports/www/e107/e107/e107_plugins/gallery/controllers/ |
| H A D | index.php | 217 ->addVars($cat);
|
| /dports/math/clasp/clasp-3.3.5/tests/ |
| H A D | facade_test.cpp | 1369 test.addVars(2);
1381 test.addVars(5);
1406 test.addVars(3);
1417 test.addVars(3);
1431 test.addVars(5);
1451 test.addVars(3);
1476 test.addVars(1);
1486 test.addVars(3);
1500 test.addVars(3);
1511 test.addVars(3);
[all …]
|
| /dports/math/ogdf/OGDF/include/ogdf/lib/abacus/ |
| H A D | lpsub.h | 237 virtual void addVars(
|
| H A D | sub.h | 489 virtual int addVars(ArrayBuffer<Variable*> &variables,
506 virtual int addVars(
|
| /dports/lang/elm/compiler-0.19.1/compiler/src/Canonicalize/Environment/ |
| H A D | Local.hs | 41 addCtors module_ =<< addVars module_ =<< addTypes module_ env
48 addVars :: Src.Module -> Env.Env -> Result i w Env.Env
49 addVars module_ (Env.Env home vs ts cs bs qvs qts qcs) = function
|
| /dports/math/clingo/clingo-5.5.1/libgringo/src/input/ |
| H A D | theory.cc | 113 addVars(levels, vars); in check()
120 addVars(levels, vars); in check()
264 addVars(levels, vars); in check()
|
| H A D | aggregate.cc | 82 void addVars(ChkLvlVec &levels, VarTermBoundVec &vars) { in addVars() function
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tests/ |
| H A D | facade_test.cpp | 1610 test.addVars(2);
1706 test.addVars(2);
1718 test.addVars(5);
1743 test.addVars(3);
1754 test.addVars(3);
1768 test.addVars(5);
1788 test.addVars(3);
1813 test.addVars(1);
1823 test.addVars(3);
1837 test.addVars(3);
[all …]
|
| /dports/math/clingo/clingo-5.5.1/clasp/tests/ |
| H A D | facade_test.cpp | 1610 test.addVars(2);
1706 test.addVars(2);
1718 test.addVars(5);
1743 test.addVars(3);
1754 test.addVars(3);
1768 test.addVars(5);
1788 test.addVars(3);
1813 test.addVars(1);
1823 test.addVars(3);
1837 test.addVars(3);
[all …]
|
| /dports/math/ogdf/OGDF/include/ogdf/cluster/internal/ |
| H A D | CPlanaritySub.h | 198 addVars(b,nullptr,&keep); in myAddVars()
|