<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD><TITLE>6 The Menu Bar</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node5.html#chapter.status"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node7.html#chapter.actions">Next >></A></TD></TR></TABLE><DIV id="chapter.menu"><H1><A name="chapter.menu">6 The Menu Bar</A></H1><P> All operations available with the Explorer can be chosen from menu entries. Some operations can invoked by keyboard accelerators. The most important operations can be invoked with the mouse. </P><P> Keyboard accelerators are shown to the right of menu entries. Accelerators beginning with <KBD>C-</KBD> require the control-key to be pressed together with the key. Operations available via mouse buttons are tagged by a small figure to the left of the explanation. </P><DIV id="section.menu.explorer"><H2><A name="section.menu.explorer">6.1 The Explorer Menu</A></H2><P> This menu contains operations to stop, reset, and quit the Explorer. </P><P> </P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">About...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Displays a window containing short information on the Explorer. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Halt</TD><TD align="right">C-g</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Halts exploration of the search tree, but does not halt drawing of newly explored parts. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Break</TD><TD align="right">C-c</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Breaks both exploration and drawing of the search tree. Drawing is stopped as follows: not yet drawn subtrees are drawn as hidden. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Reset</TD><TD align="right">C-r</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Resets the Explorer such that only the top node of the search tree is explored and drawn. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Export Postscript...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Opens a window to choose a file. After a file has been selected, the drawing of the search tree is dumped to this file in postscript format. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Close</TD><TD align="right">C-x</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>The Explorer window is closed. When the Explorer is invoked again, a new Explorer window is created. </P></DD></DL><P> </P></DIV><DIV id="section.menu.move"><H2><A name="section.menu.move">6.2 The Move Menu</A></H2><P> Operations accessible from this menu manipulate the current node. </P><P> </P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Center</TD><TD align="right">c</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Scrolls the search tree such that the current node is centered (if possible). </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Top Node</TD><TD align="right">t</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Makes the top most node of the search tree the current node. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Leftmost</TD><TD align="right">-</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Makes the leftmost node of the search tree the current node. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Rightmost</TD><TD align="right">+</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Makes the rightmost node of the search tree the current node. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Backtrack</TD><TD align="right">b</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Makes the nearest open choice node the current node. Nearest means the nearest node which is above and to the left of the current node. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Previous Solution</TD><TD align="right"><</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Makes the previous solution (i.e., the nearest solution to the left of the current node) the current node. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Next Solution</TD><TD align="right">></TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Makes the next solution (i.e., the nearest solution to the right of the current node) the current node. </P></DD></DL><P> </P></DIV><DIV id="section.menu.search"><H2><A name="section.menu.search">6.3 The Search Menu</A></H2><P> Operations available from this menu explore the search tree. </P><P> </P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Next Solution</TD><TD align="right">n</TD></TR></TABLE></TD><TD><IMG align="middle" alt="Right mouse double-click" src="note-gui-r2.gif"></TD></TR></TABLE><DT> </DT><DD><P>Explores the search tree starting from the current node up to the next solution. Exploration can be stopped as described in <A href="node6.html#section.menu.explorer">Section 6.1</A>. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">All Solutions</TD><TD align="right">a</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Explores the entire current subtree. Exploration can be stopped as described in <A href="node6.html#section.menu.explorer">Section 6.1</A>. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">One Step</TD><TD align="right">o</TD></TR></TABLE></TD><TD><IMG align="middle" alt="Right mouse click" src="note-gui-r1.gif"></TD></TR></TABLE><DT> </DT><DD><P>Performs a single distribution step starting from the current choice node. </P></DD></DL><P> </P></DIV><DIV id="section.menu.nodes"><H2><A name="section.menu.nodes">6.4 The Nodes Menu</A></H2><P> Operations available from this menu allow to select and invoke actions. </P><P> </P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Information Action</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Shows a sub menu from which an information action can be selected. <A href="node7.html#chapter.actions">Chapter 7</A> describes how new actions can be defined. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Information</TD><TD align="right">i</TD></TR></TABLE></TD><TD><IMG align="middle" alt="Left mouse double-click" src="note-gui-l2.gif"></TD></TR></TABLE><DT> </DT><DD><P>Invokes the currently selected information action (see above) on the current node. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Compare Action</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Shows a sub menu from which a compare action can be selected. <A href="node7.html#chapter.actions">Chapter 7</A> describes how new actions can be defined. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Select Compare</TD><TD align="right">1</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Selects the current node as <EM>compare node</EM>. Selecting a different node draws an arrow from the compare node to the new current node. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Deselect Compare</TD><TD align="right">0</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Deselects the compare node and deletes the arrow. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Compare</TD><TD align="right">2</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Applies the currently selected compare action to the compare node (i.e., the node from which the arrow issues) and the current node. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Statistics Action</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Shows a sub menu from which a statistics action can be selected. <A href="node7.html#chapter.actions">Chapter 7</A> describes how new actions can be defined. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Statistics</TD><TD align="right">s</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Applies the currently selected statistics action to the current node. </P></DD></DL><P> </P></DIV><DIV id="section.menu.hide"><H2><A name="section.menu.hide">6.5 The Hide Menu</A></H2><P> This menu features operations for hiding and unhiding subtrees. The drawing of subtrees during unhiding can be stopped as described in <A href="node6.html#section.menu.explorer">Section 6.1</A>. </P><P> </P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Hide/Unhide</TD><TD align="right">h</TD></TR></TABLE></TD><TD><IMG align="middle" alt="Middle mouse click" src="note-gui-m1.gif"></TD></TR></TABLE><DT> </DT><DD><P>If the current subtree is hidden, it gets unhidden. If the current subtree is not hidden, it gets hidden. Unhiding is not recursive: If the hidden tree contains hidden subtrees itself, they remain hidden. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Hide Failed</TD><TD align="right">f</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>All completely explored subtrees in the current subtree that do not contain a solution are hidden. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Unhide But Failed</TD><TD align="right">u</TD></TR></TABLE></TD><TD><IMG align="middle" alt="Middle mouse double-click" src="note-gui-m2.gif"></TD></TR></TABLE><DT> </DT><DD><P>All subtrees of the current subtree with the exception of completely explored subtrees not containing a solution are unhidden. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Unhide All</TD><TD align="right">C-u</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>All subtrees of the current subtree are unhidden. </P></DD></DL><P> </P><P> </P><DIV id="figure.hidestar"><HR><P><A name="figure.hidestar"></A></P><TABLE align="center" class="dyptic" id="fig.hidestar.table"><TR valign="top"><TD><P> </P></TD><TD><P></P><DIV align="center"><IMG alt="" src="hide-1.png" id="pic.hide-1.a"></DIV><P> </P></TD><TD><P>Hide/Unhide </P><DIV align="center"><IMG alt="" src="arrow-r.gif" id="pic.arrow-r.a"></DIV><P> </P></TD><TD><P></P><DIV align="center"><IMG alt="" src="hide-2.png" id="pic.hide-2"></DIV><P> </P></TD><TD><P>Hide/Unhide </P><DIV align="center"><IMG alt="" src="arrow-r.gif" id="pic.arrow-r.b"></DIV><P> </P></TD><TD><P></P><DIV align="center"><IMG alt="" src="hide-1.png" id="pic.hide-1.b"></DIV><P> </P></TD></TR><TR valign="top"><TD><P>Hide Failed </P><DIV align="center"><IMG alt="" src="arrow-r.gif" id="pic.arrow-r.c"></DIV><P> </P></TD><TD><P></P><DIV align="center"><IMG alt="" src="hide-3.png" id="pic.hide-3"></DIV><P> </P></TD><TD><P>Unhide But Failed </P><DIV align="center"><IMG alt="" src="arrow-r.gif" id="pic.arrow-r.d"></DIV><P> </P></TD><TD><P></P><DIV align="center"><IMG alt="" src="hide-4.png" id="pic.hide-4"></DIV><P> </P></TD><TD><P>Unhide All </P><DIV align="center"><IMG alt="" src="arrow-r.gif" id="pic.arrow-r.e"></DIV><P> </P></TD><TD><P></P><DIV align="center"><IMG alt="" src="hide-5.png" id="pic.hide-5"></DIV><P> </P></TD></TR></TABLE><P class="caption"><STRONG>Figure 6.1:</STRONG> Example for hiding and unhiding subtrees.</P><HR></DIV><P> </P><P> The different operations to hide and unhide trees are illustrated by an example in <A href="node6.html#figure.hidestar">Figure 6.1</A>. All operations are invoked with the entire tree as current subtree. </P></DIV><DIV id="section.menu.options"><H2><A name="section.menu.options">6.6 The Options Menu</A></H2><P> This menu contains access to dialogs from which the Explorer can be configured. </P><P> </P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Search ...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Creates a dialog to set options for the Explorer's search engine. </P><P></P><DIV align="center"><IMG alt="" src="search.gif"></DIV><P></P><P> In the <EM>Search</EM> entry the kind of recomputation used during next and all solution search (see also <A href="node6.html#section.menu.search">Section 6.3</A>) can be entered. Entering <KBD>none</KBD> means that in each distribution step during search a space is stored. Entering <KBD>full</KBD> means that no spaces at all are stored during search. Entering a number <IMG alt="n" src="latex1.png"> means that only in each <IMG alt="n" src="latex1.png">-th distribution step a space gets stored. Roughly, with a recomputation distance of <IMG alt="n" src="latex1.png">, the time needed during search is increased by a factor of <IMG alt="n" src="latex1.png"> and memory occupied is decreased by a factor of <IMG alt="n" src="latex1.png">. </P><P> In the <EM>Information</EM> entry the kind of recomputation used for accessing the information attached to nodes. Entering <KBD>none</KBD> means that each choice and solved node stores a computation space. Entering <KBD>full</KBD> means that only the top node stores its corresponding computation space. The space of any other node is recomputed by redoing all distribution steps. The number of required distribution steps thus depends on the depth of the node. Entering a number <IMG alt="n" src="latex1.png"> means that only nodes at a depth 1, <IMG alt="n+1" src="latex2.png">, <IMG alt="2n+1" src="latex3.png">, ... store a computation space. Thus, in the worst case the access to a node's space recomputes <IMG alt="n-1" src="latex4.png"> distribution steps. </P><P> Selecting <EM>Full Recomputation in Failed Subtrees</EM> means that in subtrees that are explored completely and do not contain a solution, no spaces are stored. </P><P> Pressing the buttons <EM>Normal</EM>, <EM>Large</EM>, and <EM>Huge</EM> enter values to the recomputation entries. <EM>Normal</EM> is the default setting for scripts which do not contain very much propagators (i.e., about a few hundred). The other two buttons suggest values for scripts with more propagators or deep search trees. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Drawing ...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Creates a dialog to set options used for the drawing of the search tree. </P><P></P><DIV align="center"><IMG alt="" src="draw.gif"></DIV><P></P><P>The entries in the dialog are self-explanatory. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Postscript ...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Creates a dialog to set options used for dumping the search tree in postscript format (see also <A href="node6.html#section.menu.explorer">Section 6.1</A>). </P><P></P><DIV align="center"><IMG alt="" src="post.gif"></DIV><P></P><P> The format of the string to be entered in the <EM>Maximal size</EM> field must be as follows: </P><P> <EM>num dim x num dim</EM> </P><P> where <EM>dim</EM> must be one of <KBD>i</KBD> (inch), <KBD>c</KBD> (centimeter), <KBD>m</KBD> (millimeter), or <EM>p</EM> (point, that is <IMG alt="1/72" src="latex5.png"> inch). </P></DD></DL><P> </P><P> The options can also be configured by sending a message to <CODE>Explorer<SPAN class="keyword">.</SPAN>object</CODE>, for details see <A href="node8.html#chapter.object">Chapter 8</A>. </P></DIV></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node5.html#chapter.status"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node7.html#chapter.actions">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A><BR><SPAN class="version">Version 1.4.0 (20090610)</SPAN></ADDRESS></BODY></HTML>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
bd5c3d824c3db63ffd9226c15941e6ad
>
files
>
792
