Sophie

Sophie

distrib > Mandriva > 2010.0 > i586 > media > contrib-release > by-pkgid > bd5c3d824c3db63ffd9226c15941e6ad > files > 791

mozart-1.4.0-1mdv2010.0.i586.rpm

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>5 Status Information</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="node4.html#chapter.tree">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node6.html#chapter.menu">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="chapter.status"><H1><A name="chapter.status">5 Status Information</A></H1><DIV class="apropos"><P class="margin">Status bar</P><P> The status bar displays the most important information on the Explorer and the search tree.</P></DIV><DIV class="apropos"><P class="margin">BAB</P><P> To the left of the status bar the letters <EM>BAB</EM> (for branch and bound) are displayed, if the Explorer is currently running in best solution search mode. Otherwise, no letters are displayed.</P></DIV><DIV class="apropos"><P class="margin">Time</P><P> The time gives the runtime spent so far for exploration, where time for garbage collection is excluded. The percentage figure displayed in parenthesis shows the amount of time spent on copying.</P></DIV><DIV class="apropos"><P class="margin">Nodes</P><P> The number of occurrences of each kind of node follows then to the right. The choice node drawn in the status bar is of special importance: if the search tree has been explored completely, the choice node is drawn as a closed node, otherwise as an open choice node (see <A href="node4.html#chapter.tree">Chapter&nbsp;4</A> on open and closed choice nodes).</P></DIV><DIV class="apropos"><P class="margin">Depth</P><P> The depth shows the depth of the search tree, that is the number of nodes on the longest path in the search tree.</P></DIV><DIV class="apropos"><P class="margin">Mouse pointer</P><P> When the Explorer is idle, the mouse pointer is displayed as an arrow. If the Explorer is exploring the search tree the mouse pointer has the shape of a watch. During drawing, the mouse pointer shows a pencil.</P></DIV></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node4.html#chapter.tree">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node6.html#chapter.menu">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A><BR><SPAN class="version">Version 1.4.0 (20090610)</SPAN></ADDRESS></BODY></HTML>