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

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

Revision: 1308
          http://toss.svn.sourceforge.net/toss/?rev=1308&view=rev
Author:   lukaszkaiser
Date:     2011-02-03 19:36:49 +0000 (Thu, 03 Feb 2011)

Log Message:
-----------
Small parameter changes.

Modified Paths:
--------------
    trunk/Toss/GGP/GDL.ml
    trunk/Toss/examples/Checkers.toss
    trunk/Toss/examples/Gomoku.toss

Modified: trunk/Toss/GGP/GDL.ml
===================================================================
--- trunk/Toss/GGP/GDL.ml	2011-02-02 02:07:08 UTC (rev 1307)
+++ trunk/Toss/GGP/GDL.ml	2011-02-03 19:36:49 UTC (rev 1308)
@@ -2074,7 +2074,7 @@
   player_name_terms := [|Const "X"; Const "O"|];
   Game.use_monotonic := true;
   let effort, horizon, heur_adv_ratio =
-    2, 100, 4.0 in
+    4, 100, 4.0 in
   effort, horizon, heur_adv_ratio
 
 let initialize_game_connect4 state player game_descr startcl =
@@ -2084,7 +2084,7 @@
   player_name_terms := [|Const "WHITE"; Const "RED"|];
   Game.use_monotonic := false;
   let effort, horizon, heur_adv_ratio =
-    6, 100, 2.0 in
+    8, 100, 2.0 in
   effort, horizon, heur_adv_ratio
 
 let initialize_game_breakthrough state player game_descr startcl =
@@ -2093,7 +2093,7 @@
   game_description := game_descr;
   player_name_terms := [|Const "WHITE"; Const "BLACK"|];
   let effort, horizon, heur_adv_ratio =
-    3, 100, 2.0 in
+    4, 100, 2.0 in
   effort, horizon, heur_adv_ratio
 
 let initialize_game_pawn_whopping state player game_descr startcl =
@@ -2102,7 +2102,7 @@
   game_description := game_descr;
   player_name_terms := [|Const "X"; Const "O"|];
   let effort, horizon, heur_adv_ratio =
-    4, 100, 2.0 in
+    8, 100, 2.0 in
   effort, horizon, heur_adv_ratio
 
 let initialize_game state player game_descr startcl =

Modified: trunk/Toss/examples/Checkers.toss
===================================================================
--- trunk/Toss/examples/Checkers.toss	2011-02-02 02:07:08 UTC (rev 1307)
+++ trunk/Toss/examples/Checkers.toss	2011-02-03 19:36:49 UTC (rev 1308)
@@ -1,5 +1,5 @@
 PLAYERS 1, 2
-DATA depth: 2, adv_ratio: 2
+DATA depth: 4, adv_ratio: 2
 REL IsFirst(x) = not ex z C(z, x)
 REL IsEight(x) = not ex z C(x, z)
 REL w(x) = W(x) or Wq(x)

Modified: trunk/Toss/examples/Gomoku.toss
===================================================================
--- trunk/Toss/examples/Gomoku.toss	2011-02-02 02:07:08 UTC (rev 1307)
+++ trunk/Toss/examples/Gomoku.toss	2011-02-03 19:36:49 UTC (rev 1308)
@@ -1,5 +1,5 @@
 PLAYERS 1, 2
-DATA r1: circle, r2: line, adv_ratio: 4, depth: 1
+DATA r1: circle, r2: line, adv_ratio: 4, depth: 2
 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 Row5 (x, y, z, v, w) = R(x, y) and R(y, z) and R(z, v) and R(v, w)


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.