[Toss-devel-svn] SF.net SVN: toss:[1314] trunk/Toss

[<luk...@us...>]

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.