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

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

Revision: 1624
          http://toss.svn.sourceforge.net/toss/?rev=1624&view=rev
Author:   lukstafi
Date:     2011-11-08 09:44:53 +0000 (Tue, 08 Nov 2011)
Log Message:
-----------
Aux: rev_map in map_reduce. GameSimpl: one more TODO.

Modified Paths:
--------------
    trunk/Toss/Formula/Aux.ml
    trunk/Toss/GGP/GameSimpl.ml

Modified: trunk/Toss/Formula/Aux.ml
===================================================================
--- trunk/Toss/Formula/Aux.ml	2011-11-07 21:57:12 UTC (rev 1623)
+++ trunk/Toss/Formula/Aux.ml	2011-11-08 09:44:53 UTC (rev 1624)
@@ -103,9 +103,8 @@
 	    if k0 = kn then k0, vn::vs, l
             else kn, [vn], (k0,vs)::l)
 	    (k0, [v0], []) tl in
-        List.rev (
-          List.map (fun (k,vs) -> k, List.fold_left redf red0 vs)
-            ((k0,vs)::l))
+        List.rev_map (fun (k,vs) -> k, List.fold_left redf red0 vs)
+          ((k0,vs)::l)
 
 let collect l =
   match List.sort (fun x y -> compare (fst x) (fst y)) l with

Modified: trunk/Toss/GGP/GameSimpl.ml
===================================================================
--- trunk/Toss/GGP/GameSimpl.ml	2011-11-07 21:57:12 UTC (rev 1623)
+++ trunk/Toss/GGP/GameSimpl.ml	2011-11-08 09:44:53 UTC (rev 1624)
@@ -123,6 +123,10 @@
 
     TODO: Selectively distribute atomic conjuncts over disjunction when it
     leads to new glueings (point (3)).
+
+    TODO: Glueing (i.e. intersecting relations with co-occurring
+    atoms) for stable relations of varying arity, e.g. glueing a
+    binary relation with a predicate.
 *)
 
 open Formula

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