files/practicum/StdGameTree.dcl

   1 definition module StdGameTree
   2
   3 import StdRoseTree
   4
   5 ::      Moves   s       :==     s -> [s]
   6 ::      Worth   s w     :==     s -> w
   7
   8 gametree                :: (Moves s) s -> RoseTree s
   9 minimaxvalue    ::       (RoseTree w) -> w          | Ord,~    w
  10 ab_minimaxvalue :: (w,w) (RoseTree w) -> w          | Ord,~,Eq w
  11 minimaxtree             ::       (RoseTree w) -> RoseTree w | Ord,~    w
  12
  13 nextmoves               :: PruneDepth (Worth s w) (Moves s) s -> [s] | Ord,~,Eq w