<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<style type="text/css" id="owaParaStyle" style="">
<!--
p
{margin-top:0;
margin-bottom:0}
-->
</style>
</head>
<body dir="ltr" tabindex="0" style="">
<div name="divtagdefaultwrapper" id="divtagdefaultwrapper" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:#000000; margin:0">
Thank you. Now I feel totally stupid, read that a couple days ago.
<div><br>
<div dir="auto" style="color:rgb(40,40,40)">
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b> Mike Steglich <mike.steglich@th-wildau.de><br>
<b>Sent:</b> Saturday, September 14, 2013 10:25 AM<br>
<b>To:</b> Michael Bond<br>
<b>Cc:</b> cmpl@list.coin-or.org<br>
<b>Subject:</b> Re: [Cmpl] Set complement available as a simple operation?</font>
<div> </div>
</div>
<div>
<div>Please take a look at chapter 3.3 of the Cmpl manual .... </div>
<div>There is the following example for a set complement:</div>
<div><br>
</div>
<div>
<div class="page" title="Page 20">
<div class="section">
<div class="layoutArea">
<div class="column">
<pre><span style="font-size:10.000000pt; font-family:'CourierNewPSMT'">s1 := set( "a","b","c","d");
s2 := set( "a","e","c","f");</span></pre>
<pre><span style="font-family:CourierNewPSMT; font-size:10pt">s3 := set{i in s1, !(i << s2): i};</span></pre>
<pre><span style="font-family:CourierNewPSMT; font-size:10pt"><br></span></pre>
<pre><font face="Helvetica"><span style="white-space:normal">s3 ist equal to s1\s2</span></font></pre>
<pre><font face="Helvetica"><span style="white-space:normal"><br></span></font></pre>
<pre><font face="Helvetica"><span style="white-space:normal">Hope that helps.</span></font></pre>
</div>
</div>
</div>
</div>
</div>
<div>
<table style="border-collapse:collapse">
<colgroup><col style="width:51.184052%"><col style="width:48.815948%"></colgroup>
<tbody>
<tr>
<td style="border-style:solid; border-top-width:0.100006pt; border-top-color:rgb(0.000000%,0.000000%,0.000000%); border-right-width:0.000000pt; border-right-color:rgb(0.000000%,0.000000%,0.000000%); border-bottom-width:0.100006pt; border-bottom-color:rgb(0.000000%,0.000000%,0.000000%); border-left-width:0.000000pt; border-left-color:rgb(0.000000%,0.000000%,0.000000%)">
</td>
<td style="border-style:solid; border-top-width:0.100006pt; border-top-color:rgb(0.000000%,0.000000%,0.000000%); border-right-width:0.000000pt; border-right-color:rgb(0.000000%,0.000000%,0.000000%); border-bottom-width:0.100006pt; border-bottom-color:rgb(0.000000%,0.000000%,0.000000%); border-left-width:0.000000pt; border-left-color:rgb(0.000000%,0.000000%,0.000000%)">
</td>
</tr>
<tr>
<td style="border-style:solid; border-top-width:0.100006pt; border-top-color:rgb(0.000000%,0.000000%,0.000000%); border-right-width:0.000000pt; border-right-color:rgb(0.000000%,0.000000%,0.000000%); border-bottom-width:0.000000pt; border-bottom-color:rgb(0.000000%,0.000000%,0.000000%); border-left-width:0.000000pt; border-left-color:rgb(0.000000%,0.000000%,0.000000%)">
</td>
<td style="border-style:solid; border-top-width:0.100006pt; border-top-color:rgb(0.000000%,0.000000%,0.000000%); border-right-width:0.000000pt; border-right-color:rgb(0.000000%,0.000000%,0.000000%); border-bottom-width:0.000000pt; border-bottom-color:rgb(0.000000%,0.000000%,0.000000%); border-left-width:0.000000pt; border-left-color:rgb(0.000000%,0.000000%,0.000000%)">
</td>
</tr>
</tbody>
</table>
</div>
<div><br>
</div>
<div><br>
</div>
<div>
<div class="page" title="Page 20">
<div class="section">
<div class="layoutArea">
<div class="column">
<pre><div class="page" title="Page 20"><table style="border-collapse:collapse"><colgroup><col style="width:51.184052%"><col style="width:48.815948%"></colgroup><tbody><tr><td style="border-style:solid; border-top-width:0.000000pt; border-top-color:rgb(0.000000%,0.000000%,0.000000%); border-right-width:0.000000pt; border-right-color:rgb(0.000000%,0.000000%,0.000000%); border-bottom-width:0.100006pt; border-bottom-color:rgb(0.000000%,0.000000%,0.000000%); border-left-width:0.000000pt; border-left-color:rgb(0.000000%,0.000000%,0.000000%)"><br></td><td style="border-style:solid; border-top-width:0.000000pt; border-top-color:rgb(0.000000%,0.000000%,0.000000%); border-right-width:0.000000pt; border-right-color:rgb(0.000000%,0.000000%,0.000000%); border-bottom-width:0.100006pt; border-bottom-color:rgb(0.000000%,0.000000%,0.000000%); border-left-width:0.000000pt; border-left-color:rgb(0.000000%,0.000000%,0.000000%)"><div class="layoutArea"></div></td></tr><tr><td style="border-style:solid; border-top-width:0.100006pt; border-top-color:rgb(0.000000%,0.000000%,0.000000%); border-right-width:0.000000pt; border-right-color:rgb(0.000000%,0.000000%,0.000000%); border-bottom-width:0.100006pt; border-bottom-color:rgb(0.000000%,0.000000%,0.000000%); border-left-width:0.000000pt; border-left-color:rgb(0.000000%,0.000000%,0.000000%)"></td><td style="border-style:solid; border-top-width:0.100006pt; border-top-color:rgb(0.000000%,0.000000%,0.000000%); border-right-width:0.000000pt; border-right-color:rgb(0.000000%,0.000000%,0.000000%); border-bottom-width:0.100006pt; border-bottom-color:rgb(0.000000%,0.000000%,0.000000%); border-left-width:0.000000pt; border-left-color:rgb(0.000000%,0.000000%,0.000000%)"></td></tr><tr><td style="border-style:solid; border-top-width:0.100006pt; border-top-color:rgb(0.000000%,0.000000%,0.000000%); border-right-width:0.000000pt; border-right-color:rgb(0.000000%,0.000000%,0.000000%); border-bottom-width:0.000000pt; border-bottom-color:rgb(0.000000%,0.000000%,0.000000%); border-left-width:0.000000pt; border-left-color:rgb(0.000000%,0.000000%,0.000000%)"></td><td style="border-style:solid; border-top-width:0.100006pt; border-top-color:rgb(0.000000%,0.000000%,0.000000%); border-right-width:0.000000pt; border-right-color:rgb(0.000000%,0.000000%,0.000000%); border-bottom-width:0.000000pt; border-bottom-color:rgb(0.000000%,0.000000%,0.000000%); border-left-width:0.000000pt; border-left-color:rgb(0.000000%,0.000000%,0.000000%)"></td></tr></tbody></table>
</div>
</pre>
</div>
</div>
</div>
</div>
</div>
<div><br>
Am 14.09.2013 um 16:08 schrieb Michael Bond <<a href="mailto:mbond@videologygroup.com">mbond@videologygroup.com</a>>:<br>
<br>
</div>
<blockquote type="cite">
<div>
<div name="divtagdefaultwrapper" id="divtagdefaultwrapper" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:#000000; margin:0">
Still figuring CMPL out and was wondering if there is a simple operation/operator for getting a set complement, along the lines of a in A \ B?</div>
<b>This email is intended only for the use of the individual(s) to whom it is addressed. If you have received this communication in error, please immediately notify the sender and delete the original email.</b>
</div>
</blockquote>
<blockquote type="cite">
<div><span>_______________________________________________</span><br>
<span>Cmpl mailing list</span><br>
<span><a href="mailto:Cmpl@list.coin-or.org">Cmpl@list.coin-or.org</a></span><br>
<span><a href="http://list.coin-or.org/mailman/listinfo/cmpl">http://list.coin-or.org/mailman/listinfo/cmpl</a></span></div>
</blockquote>
</div>
</div>
</div>
</div>
<b>This email is intended only for the use of the individual(s) to whom it is addressed. If you have received this communication in error, please immediately notify the sender and delete the original email.</b>
</body>
</html>