<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hello.<br>
<br>
The PPL encodes some forms of logical statements as constraints. "a
= 5" can be encoded as a Constraint object as follows (in the
appropriate context, assuming you are using the C++ interface):<br>
<br>
Variable a(0);<br>
<div class="moz-cite-prefix">Constraint c(a == 5);<br>
<br>
There is no way to compute the complement of an equality
constraint, because it is not a hyper/half space (it is the union
of two open half-spaces).<br>
<br>
You can compute the two half-spaces separately: the constraint
above is encoded as "a - 5 == 0".<br>
You can tale the underlying linear expression (a - 5) and use it
to construct the two open half-spaces<br>
(a - 5 < 0 and a - 5 > 0).<br>
<br>
Hope my answer is clear enough.<br>
<br>
Enea.<br>
<br>
<br>
On 02/25/2016 07:17 PM, Rao,Nakul I wrote:<br>
</div>
<blockquote
cite="mid:DM3PR08MB1961C815B89E4C73E4AC0139DEA60@DM3PR08MB1961.namprd08.prod.outlook.com"
type="cite">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<style data-externalstyle="true"><!--
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph {
margin-top:0in;
margin-right:0in;
margin-bottom:0in;
margin-left:.5in;
margin-bottom:.0001pt;
}
p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst, p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle, p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast {
margin-top:0in;
margin-right:0in;
margin-bottom:0in;
margin-left:.5in;
margin-bottom:.0001pt;
line-height:115%;
}
--></style>
<div data-externalstyle="false" dir="ltr"
style="font-family:Calibri,'Segoe UI',Meiryo,'Microsoft YaHei
UI','Microsoft JhengHei UI','Malgun Gothic','Khmer UI','Nirmala
UI',Tunga,'Lao UI',Ebrima,sans-serif;font-size:12pt;">
<div>Hi</div>
<div> </div>
<div>I am using Parma Polyhedra library in a Formal Verification
project. I was unable to find a function that computes the
complement of a logical equation.</div>
<div data-signatureblock="true">
<div>For example, complement of a=5 will be a!=5.</div>
<div>Could you tell me how I could do this.</div>
<div> </div>
<div>Thanks and Regards</div>
<div>Nakul</div>
<div> </div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
PPL-devel mailing list
<a class="moz-txt-link-abbreviated" href="mailto:PPL-devel@cs.unipr.it">PPL-devel@cs.unipr.it</a>
<a class="moz-txt-link-freetext" href="http://www.cs.unipr.it/mailman/listinfo/ppl-devel">http://www.cs.unipr.it/mailman/listinfo/ppl-devel</a>
</pre>
</blockquote>
<br>
</body>
</html>