[PPL-devel] phaver PPL library issue

[Vikas Jaiman]

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 at cs.unipr.it>
To: Vikas Jaiman <vikas.jaiman at imag.fr>
Cc: The Parma Polyhedra Library developers' list <ppl-devel at 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 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

-- 
========================================================
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
========================================================
-------------- next part --------------
A non-text attachment was scrubbed...
Name: clock_val_set.cpp
Type: text/x-c++src
Size: 54971 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20140911/3148b90c/attachment.cpp>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: clock_val_set.h
Type: text/x-chdr
Size: 8468 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20140911/3148b90c/attachment.h>