Dear Prof. Roberto,

I am attaching the file in which I am getting error. Could you please tell me why I am getting this error?

Regards, Vikas

----- Original Message ----- From: Roberto Bagnara bagnara@cs.unipr.it To: Vikas Jaiman vikas.jaiman@imag.fr Cc: The Parma Polyhedra Library developers' list ppl-devel@cs.unipr.it Sent: Thu, 11 Sep 2014 15:01:57 +0200 (CEST) Subject: Re: phaver PPL library issue

On 11/09/2014 13:57, Vikas Jaiman wrote:

Dear Prof. Roberto,

I am a PhD student at Verimag. I was trying to compile phaver source code but I am getting following error after compilation. Can you help me out from this.

convex_clock_val_set.cpp: In member function ‘void convex_clock_val_set::swap(convex_clock_val_set&)’: convex_clock_val_set.cpp:365:3: error: ‘m_swap’ is not a member of ‘Parma_Polyhedra_Library::Polyhedron’ convex_clock_val_set.cpp: In member function ‘void convex_clock_val_set::minimize_memory()’: convex_clock_val_set.cpp:1185:4: error: ‘m_swap’ is not a member of ‘Parma_Polyhedra_Library::NNC_Polyhedron’ make: *** [convex_clock_val_set.o] Error 1

Thanks, Vikas ======================================================== Vikas Jaiman Research Scholar, Laboratoire VERIMAG, Centre Equation | 2, Avenue de Vignate | 38610 GIERES, Grenoble, FRANCE. Tel. +33 7 54 04 60 93 | Fax. +33 4 56 52 03 44 ========================================================

Dear Vikas,

this is actually an issue with Phaver, not the PPL. It was already discussed on the PPL mailing list recently. Please consult the archives of the list and write to ppl-devel@cs.unipr.it if you have further doubts. Kind regards,

Roberto