[PPL-devel] phaver PPL library issue

[Roberto Bagnara]

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 at cs.unipr.it if
you have further doubts.
Kind regards,

    Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com