[PPL-devel] Complement of a logical Equation

[Rao,Nakul I]

Hi

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.
For example, complement of a=5 will be a!=5.
Could you tell me how I could do this.

Thanks and Regards
Nakul

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20160225/1c81e84d/attachment.htm>