<div dir="ltr">Hi Roberto,<div><br></div><div>I am sorry I was not clear. I want to achieve fast lookup of C_Polyhedron. Searching a vector in C++ is O(N), while searching a set is O(log(N)). As far as I can tell, it doesn't seem possible to put C_Polyhedrons into a set, so I'm wondering what the recommended solution would be.</div><div><br></div><div>Best,</div><div><br></div><div>Jeff</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jul 28, 2016 at 10:00 AM, Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 07/28/2016 03:02 AM, Jeff Summars wrote:<br>
> I am writing a program that requires a huge set of C_Polyhedrons. I<br>
> have tried making a set<C_Polyhedron> which g++ does not object to,<br>
> but when I try to insert a C_Polyhedron into it, g++ throws an error<br>
> about not being able to compare C_Polyhedrons. Is there a way to<br>
> make a set of C_Polyhedrons?<br>
<br>
</span>Hi Jeff.<br>
<br>
What are you trying to achieve?  On page 26 of the manual (*)<br>
you can read about the pointset powerset domain which may or may<br>
not be what you need: we need more information about your<br>
objectives.<br>
Kind regards,<br>
<br>
   Roberto<br>
<br>
(*) <a href="http://bugseng.com/products/ppl/documentation//ppl-user-1.2.pdf" rel="noreferrer" target="_blank">http://bugseng.com/products/ppl/documentation//ppl-user-1.2.pdf</a><br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
     Prof. Roberto Bagnara<br>
<br>
Applied Formal Methods Laboratory - University of Parma, Italy<br>
mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a><br>
                              BUGSENG srl - <a href="http://bugseng.com" rel="noreferrer" target="_blank">http://bugseng.com</a><br>
                              mailto:<a href="mailto:roberto.bagnara@bugseng.com">roberto.bagnara@bugseng.com</a><br>
_______________________________________________<br>
PPL-devel mailing list<br>
<a href="mailto:PPL-devel@cs.unipr.it">PPL-devel@cs.unipr.it</a><br>
<a href="http://www.cs.unipr.it/mailman/listinfo/ppl-devel" rel="noreferrer" target="_blank">http://www.cs.unipr.it/mailman/listinfo/ppl-devel</a><br>
</font></span></blockquote></div><br></div>