Printing the view in tree form.

A map drawing a title.

In[289]:=

GameTitle[S_, formulasize_, height_] := Show[Graphics[Text[S, {0, 0}, TextStyle {FontW ... #62754;Goldenrod}], BackgroundSeashell, ImageSize900, AspectRatio->height/900]]

We define thestate of a given player. Assume s is the sign of the position of index CurrentPlay.

In[290]:=

PlayerState[p_, s_, pview_, CurrentPlay_] := If[MaterialImplication, ( ... CurrentGoal[p, pview]], "LCM", "Intuitionistic"]] ] ;

We explain how to draw the view trees.

In[291]:=

(* This is the default height of each level of the tree . *)LevelHeight = 70 ;

In[292]:=

DrawTree[{A_, s_}, n_, {Eview_, Aview_, CurrentPlay_}] := CompoundExpression[BCKMove = ... __________________________________________________________________"] ; ] ]] ;

This function draws the tree for player p.

In[293]:=

DrawTree[s_, n_, pview_, CurrentPlay_, p_] := CompoundExpression[pState = PlayerState[ ... yerPaleCol[p],  (Height[Tree[p, pview]] + 1) * LevelHeight] ; ] ; 

Created by Mathematica  (October 17, 2006)