
<A NAME=WHEN>

<TITLE>WHEN</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>



<B>WHEN</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>operator</B><P>
<P>
 
 <P>
<P>
The <em>when</em> operator is used inside a <em>rule</em> to make the 
execution of the rule depend on a boolean condition which is 
evaluated at execution time. For the use see 
<A HREF=r37_0060.html>rule</A>. 
<P>
<P>
