Re: [PPL-devel] 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 -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
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 -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com -- ======================================================== 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 ========================================================
participants (2)
-
Roberto Bagnara -
Vikas Jaiman