/usr/share/mozart/doc/system/node32.html

1
2
3

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>6.4 Miscellaneous 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="node31.html#section.schedule.cumulative">&lt;&lt; Prev</A></TD><TD><A href="node28.html">- Up -</A></TD></TR></TABLE><DIV id="section.schedule.misc"><H2><A name="section.schedule.misc">6.4 Miscellaneous Propagators</A></H2><P></P><DL><DT><A name="label305"></A> <CODE>disjoint</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{Schedule<SPAN class="keyword">.</SPAN>disjoint&nbsp;</CODE><CODE>*<I>D1</I></CODE><CODE>&nbsp;</CODE><CODE>+<I>I1</I></CODE><CODE>&nbsp;</CODE><CODE>*<I>D2</I></CODE><CODE>&nbsp;</CODE><CODE>+<I>I2</I></CODE><CODE>}</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>creates a propagator for <IMG alt="D1+I1\leq D2 \;\vee\;
D2+I2\leq D1" src="latex105.png">. Its operational semantics is defined by </P><BLOCKQUOTE class="code"><CODE><SPAN class="keyword">or</SPAN>&nbsp;</CODE><I>D1</I><CODE>&nbsp;<SPAN class="keyword">+</SPAN>&nbsp;</CODE><I>I1</I><CODE>&nbsp;<SPAN class="keyword">=&lt;:</SPAN>&nbsp;</CODE><I>D2</I><CODE>&nbsp;<BR><SPAN class="keyword">[]</SPAN>&nbsp;</CODE><I>D2</I><CODE>&nbsp;<SPAN class="keyword">+</SPAN>&nbsp;</CODE><I>I2</I><CODE>&nbsp;<SPAN class="keyword">=&lt;:</SPAN>&nbsp;</CODE><I>D1</I><CODE>&nbsp;<BR><SPAN class="keyword">end</SPAN></CODE></BLOCKQUOTE><P></P></DD></DL><P> </P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node31.html#section.schedule.cumulative">&lt;&lt; Prev</A></TD><TD><A href="node28.html">- Up -</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys&nbsp;Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif&nbsp;Kornstaedt</A>, <A href="http://www.ps.uni-sb.de/~homik/">Martin&nbsp;Homik</A>, <A href="http://www.ps.uni-sb.de/~tmueller/">Tobias&nbsp;Müller</A>, <A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A> and&nbsp;<A href="http://www.info.ucl.ac.be/~pvr">Peter&nbsp;Van Roy</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>

mozart-doc 1.4.0-8ubuntu1 / usr / share / mozart / doc / system / node32.html