/usr/share/mozart/doc/fdt/node18.html

1
2

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>3.5 Watching Propagators</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="node17.html#section.problem.primitives">&lt;&lt; Prev</A></TD><TD><A href="node13.html">- Up -</A></TD><TD><A href="node19.html#section.problem.safe">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="section.problem.watching"><H2><A name="section.problem.watching">3.5 Watching Propagators</A></H2><P>It is illuminating to watch the effect of one or several propagators with the Browser. Enter the following statements line by line and observe in the Browser the shrinking domains of the variables <CODE>X</CODE>, <CODE>Y</CODE>, and <CODE>Z</CODE>: </P><DL class="anonymous"><DD class="code"><CODE><SPAN class="keyword">declare</SPAN>&nbsp;X&nbsp;Y&nbsp;Z&nbsp;&nbsp;<BR>{Browse&nbsp;[X&nbsp;Y&nbsp;Z]}&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;%&nbsp;<SPAN class="comment">[X&nbsp;Y&nbsp;Z]<BR></SPAN>X&nbsp;<SPAN class="keyword">::</SPAN>&nbsp;1<SPAN class="keyword">#</SPAN>13&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;%&nbsp;<SPAN class="comment">[X[1#13]&nbsp;Y&nbsp;Z]<BR></SPAN>Y&nbsp;<SPAN class="keyword">::</SPAN>&nbsp;0<SPAN class="keyword">#</SPAN>27&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;%&nbsp;<SPAN class="comment">[X[1#13]&nbsp;Y[0#27]&nbsp;Z]<BR></SPAN>Z&nbsp;<SPAN class="keyword">::</SPAN>&nbsp;1<SPAN class="keyword">#</SPAN>12&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;%&nbsp;<SPAN class="comment">[X[1#13]&nbsp;Y[0#27]&nbsp;Z[1#12]]<BR></SPAN>2<SPAN class="keyword">*</SPAN>Y&nbsp;<SPAN class="keyword">=:</SPAN>&nbsp;Z&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;%&nbsp;<SPAN class="comment">[X[1#13]&nbsp;Y[1#6]&nbsp;&nbsp;Z[2#12]]<BR></SPAN>X&nbsp;<SPAN class="keyword">&lt;:</SPAN>&nbsp;Y&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;%&nbsp;<SPAN class="comment">[X[1#5]&nbsp;&nbsp;Y[2#6]&nbsp;&nbsp;Z[4#12]]<BR></SPAN>Z&nbsp;<SPAN class="keyword">&lt;:</SPAN>&nbsp;7&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;%&nbsp;<SPAN class="comment">[X[1#2]&nbsp;&nbsp;Y[2#3]&nbsp;&nbsp;Z[4#6]]<BR></SPAN>X&nbsp;<SPAN class="keyword">\=:</SPAN>&nbsp;1&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;%&nbsp;<SPAN class="comment">[2&nbsp;3&nbsp;6]</SPAN></CODE></DD></DL><P> The comments say what you will see in the Browser. Note that the statement <CODE>2<SPAN class="keyword">*</SPAN>Y<SPAN class="keyword">=:</SPAN>Z</CODE> creates a propagator that performs interval rather than domain propagation.</P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node17.html#section.problem.primitives">&lt;&lt; Prev</A></TD><TD><A href="node13.html">- Up -</A></TD><TD><A href="node19.html#section.problem.safe">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A> and&nbsp;<A href="http://www.ps.uni-sb.de/~smolka/">Gert&nbsp;Smolka</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>

mozart-doc 1.4.0-8ubuntu1 / usr / share / mozart / doc / fdt / node18.html