| /dports/math/py-or-tools/or-tools-9.2/examples/contrib/ |
| H A D | set_covering_deployment.py | 80 num_armies = solver.Sum([X[i] + Y[i] for i in range(n)])
97 objective = solver.Minimize(num_armies, 1)
105 solution.Add(num_armies)
106 solution.AddObjective(num_armies)
|
| H A D | set_covering_deployment.cs | 60 IntVar num_armies = (x.Sum() + y.Sum()).Var(); in Solve()
93 OptimizeVar objective = num_armies.Minimize(1); in Solve()
104 Console.WriteLine("num_armies: " + num_armies.Value()); in Solve()
|
| H A D | SetCoveringDeployment.java | 58 IntVar num_armies = solver.makeSum(solver.makeSum(x), solver.makeSum(y)).var(); in solve() local
92 OptimizeVar objective = solver.makeMinimize(num_armies, 1); in solve()
104 System.out.println("num_armies: " + num_armies.value()); in solve()
|
| /dports/math/py-or-tools/or-tools-9.2/examples/notebook/contrib/ |
| H A D | set_covering_deployment.ipynb | 155 "num_armies = solver.Sum([X[i] + Y[i] for i in range(n)])\n",
172 "objective = solver.Minimize(num_armies, 1)\n",
180 "solution.Add(num_armies)\n",
181 "solution.AddObjective(num_armies)\n",
188 "print(\"num_armies:\", collector.ObjectiveValue(0))\n",
|
| /dports/games/lordsawar/lordsawar-0.3.2/src/gui/ |
| H A D | game-window.h | 309 void on_ships_sunk(guint32 num_armies);
313 void on_city_defended(Glib::ustring city_name, Glib::ustring army_name, guint32 num_armies);
314 void on_city_persuaded(Glib::ustring city_name, guint32 num_armies);
|
| H A D | game-window.cpp | 2903 void GameWindow::on_ships_sunk(guint32 num_armies) in on_ships_sunk() argument
2908 num_armies), num_armies); in on_ships_sunk()
2944 void GameWindow::on_city_diseased(Glib::ustring name, guint32 num_armies) in on_city_diseased() argument
2948 "%1 units in %2 have perished!", num_armies), in on_city_diseased()
2949 num_armies, name); in on_city_diseased()
2955 … GameWindow::on_city_defended(Glib::ustring city_name, Glib::ustring army_name, guint32 num_armies) in on_city_defended() argument
2960 num_armies), num_armies, army_name, city_name); in on_city_defended()
2966 void GameWindow::on_city_persuaded(Glib::ustring city_name, guint32 num_armies) in on_city_persuaded() argument
2971 if (num_armies != 0) in on_city_persuaded()
2975 num_armies), in on_city_persuaded()
[all …]
|
| /dports/games/lordsawar/lordsawar-0.3.2/src/ |
| H A D | QuestsManager.h | 83 Quest* createNewEnemyArmiesQuest(guint32 heroId, guint32 num_armies,
|
| H A D | QuestsManager.cpp | 162 guint32 num_armies, in createNewEnemyArmiesQuest() argument
165 Quest *quest = new QuestEnemyArmies(*this, heroId, num_armies, in createNewEnemyArmiesQuest()
|
| H A D | player.cpp | 4169 guint32 num_armies = removeDeadArmies(sunk, history); in doHeroUseItem() local
4170 sunk_ships.emit(victim, num_armies); in doHeroUseItem()
|
| /dports/games/xrisk/xrisk-2.15/src/ |
| H A D | xrisk.h | 404 int num_armies,armies_lost,armies_killed; /* Statistics */ member
|
| H A D | xrisklib.c | 210 if (flag == U_ARMIES) number = &(player->num_armies);
|
| H A D | functions.c | 725 player->num_armies = 0;
|