[Toss-devel-svn] SF.net SVN: toss:[1314] trunk/Toss
Status: Beta
Brought to you by:
lukaszkaiser
From: <luk...@us...> - 2011-02-07 20:54:30
|
Revision: 1314 http://toss.svn.sourceforge.net/toss/?rev=1314&view=rev Author: lukaszkaiser Date: 2011-02-07 20:54:24 +0000 (Mon, 07 Feb 2011) Log Message: ----------- Setting parameters to play against Fluxplayer. Modified Paths: -------------- trunk/Toss/GGP/GDL.ml trunk/Toss/Server/Server.ml trunk/Toss/examples/Connect4.toss Modified: trunk/Toss/GGP/GDL.ml =================================================================== --- trunk/Toss/GGP/GDL.ml 2011-02-05 16:36:17 UTC (rev 1313) +++ trunk/Toss/GGP/GDL.ml 2011-02-07 20:54:24 UTC (rev 1314) @@ -2257,7 +2257,7 @@ game_description := game_descr; player_name_terms := [|Const "XPLAYER"; Const "OPLAYER"|]; let effort, horizon, heur_adv_ratio = - 5, 100, 4.0 in + 6, 100, 4.0 in effort, horizon, heur_adv_ratio let initialize_game_gomoku state player game_descr startcl = @@ -2277,7 +2277,7 @@ player_name_terms := [|Const "WHITE"; Const "RED"|]; Game.use_monotonic := false; let effort, horizon, heur_adv_ratio = - 8, 100, 4.0 in + 10, 100, 4.0 in effort, horizon, heur_adv_ratio let initialize_game_breakthrough state player game_descr startcl = @@ -2286,7 +2286,7 @@ game_description := game_descr; player_name_terms := [|Const "WHITE"; Const "BLACK"|]; let effort, horizon, heur_adv_ratio = - 4, 100, 2.0 in + 6, 100, 2.0 in effort, horizon, heur_adv_ratio let initialize_game_pawn_whopping state player game_descr startcl = @@ -2295,7 +2295,7 @@ game_description := game_descr; player_name_terms := [|Const "X"; Const "O"|]; let effort, horizon, heur_adv_ratio = - 8, 100, 2.0 in + 10, 100, 2.0 in effort, horizon, heur_adv_ratio let initialize_game state player game_descr startcl = Modified: trunk/Toss/Server/Server.ml =================================================================== --- trunk/Toss/Server/Server.ml 2011-02-05 16:36:17 UTC (rev 1313) +++ trunk/Toss/Server/Server.ml 2011-02-07 20:54:24 UTC (rev 1314) @@ -268,6 +268,7 @@ | Aux.Right (GDL.Start (_, player, game_descr, startcl, playcl)) -> (* GDL will store the player and the game in its state. *) + Random.init 1234; (* for repeatablity *) let effort, horizon, heur_adv_ratio = GDL.initialize_game state player game_descr startcl in (* TODO: handle timer (startclock) in Game.initialize_default*) Modified: trunk/Toss/examples/Connect4.toss =================================================================== --- trunk/Toss/examples/Connect4.toss 2011-02-05 16:36:17 UTC (rev 1313) +++ trunk/Toss/examples/Connect4.toss 2011-02-07 20:54:24 UTC (rev 1314) @@ -1,7 +1,5 @@ PLAYERS 1, 2 DATA r1: circle, r2: line, adv_ratio: 4, depth: 6 -REL DiagA (x, y) = ex u (R(x, u) and C(u, y)) -REL DiagB (x, y) = ex u (R(x, u) and C(y, u)) REL Row4 (x, y, z, v) = R(x, y) and R(y, z) and R(z, v) REL Col4 (x, y, z, v) = C(x, y) and C(y, z) and C(z, v) REL DiagA4 (x, y, z, v) = DiagA(x, y) and DiagA(y, z) and DiagA(z, v) @@ -49,4 +47,5 @@ ... ... ... ... ... ... ... ... ... ... ... -" +" with DiagA (x, y) = ex u (R(x, u) and C(u, y)) ; + DiagB (x, y) = ex u (R(x, u) and C(y, u)) This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |