Hello,
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 ========================================================