[an error occurred while processing this directive]

	 <P>The following examples use task <CODE>FIX</CODE> from file <CODE>fibonacci.rap</CODE>. This task
		computes fixed points for Fibonacci numbers (<CODE>fib(n) = n</CODE>).<BR>
                <BR>If you start running
		the task <CODE>FIX</CODE> using the Run button in main window, you'll see the
		following:</P><IMG SRC="images/run01.gif" WIDTH="421" HEIGHT="473" BORDER="0">
	 <P>This is the initial state of the Run window. You can:</P>
	 <UL>
		<LI><B>Close</B> the window</LI>
		<LI><B>Clear</B> the output panel</LI>
		<LI>Examine the run closely in <B>Debug</B> mode</LI>
		<LI>Start running the task and display the results with <B>Next
		  Result</B>, and this is what we are going to do now.</LI>
	 </UL><IMG SRC="images/run05.gif" WIDTH="421" HEIGHT="473" BORDER="0">
	 <P>After pressing <B>Next Result</B>, the RAP system displays the first
		solution of task <CODE>FIX</CODE> which is of course <CODE>1</CODE> for <CODE>fib(1) = 1</CODE>.<BR>Now the run
		is active and can be aborted using <B>Abort Run</B>. After this the run window
		is returned into its initial state.<BR>And for there is output now you are able
		to save the contents of the output panel to a text file using <B>Save to a
		file</B>. Note: The output panel is editable so you can manually preformat or
		insert comments before you save the text.</P><IMG SRC="images/run02.gif"
	 WIDTH="421" HEIGHT="473" BORDER="0">
	 <P>Now we have restartet the run again, but this time in <B>Debug</B> mode.
		Now all debug mode functions are available and you have the following
		choices:</P>
	 <UL>
		<LI>Execute a single debug <B>Step</B>.</LI>
		<LI><B>Go</B> and leave debug mode, continue to run the task
		  normally.</LI>
		<LI>Learn about the current <B>Rule</B> used in this debug step.</LI>
		<LI>Examine and modify the <B><A HREF="goals.shtml">Goals</A></B>.</LI>
		<LI>Display the <B>Prooftree</B>.</LI>
		<LI>Change the <B>Run-<A HREF="settings.shtml">Settings</A></B>
		  temporarily only for this run. After the run has finished, these changes are
		  discarded.</LI>
	 </UL><IMG SRC="images/run03.gif" WIDTH="421" HEIGHT="473" BORDER="0">
	 <P>Sometimes running a task requires awesome lots of computing time,
		especially when all optimizations are turned off. In this case it can be useful
		to interrupt the underlying process.<BR>An example: After finding three fixed
		points, the task <CODE>FIX</CODE> will not return because in entire <B>N</B> <CODE>fib(n)</CODE> has
		no more fixed points. The task will therefore run infinitely, so it has to be
		stopped.<BR>By pressing <B>Kill Task</B> the underlying process is removed by
		force. This especially means the current run has been terminated. Nevertheless,
		the run window is still open, for you might wish to save the solutions found so
		far.</P><IMG SRC="images/run04.gif" WIDTH="421" HEIGHT="473" BORDER="0">
	 <P>This is how the run window looks like after the task has been killed.
		You'll have to reopen the run window if you want to try running this task
		again.<BR>Note: During Kill Task there are no I/O-stream available for a short
		time, because the process feeding the streams has been removed. So sometimes
		there occures an error of type "RAP I/O streams caused unexpected error". This
		means no harm if it appears only here. If it also appears after Next Result or
		Debug, then something important will have gone wrong. In that case, restart
		JAVA-RAP.</P>
	 <P><FONT SIZE="-1"><A HREF="htmlmanual.shtml">back to
		contents</A></FONT></P>

[an error occurred while processing this directive]

31-Jul-2012, 14:17:23 CEST
</div>
</body>
</html>