August 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/OCaml OCaml_interface.dox
by Roberto Bagnara 11 Aug '08

11 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-11 16:11:19 Added files: interfaces/OCaml: OCaml_interface.dox Log message: This will contain the OCaml interface documentation that is not automatically generated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/OCaml_interf…

1 0

ppl-cvs doesn't build with Apple gcc 4.0.1 compiler
by Jack Howarth 11 Aug '08

11 Aug '08

The ppl cvs only builds with the newer Apple gcc-4.2 compiler in Xcode 3.1. Under the default gcc 4.0.1 compiler in Xcode 3.1 the build fails with the following compile error... make all-am if /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I. -I.. -I.. -I../src -I/sw/include -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF ".deps/Box.Tpo" -c -o Box.lo Box.cc; \ then mv -f ".deps/Box.Tpo" ".deps/Box.Plo"; else rm -f ".deps/Box.Tpo"; exit 1; fi libtool: compile: g++ -DHAVE_CONFIG_H -I. -I. -I.. -I.. -I../src -I/sw/include -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc -fno-common -DPIC -o .libs/Box.o math_utilities.inlines.hh: In function ‘void Parma_Polyhedra_Library::div_round_up(Parma_Polyhedra_Library::Checked_Number<T, P>&, const Parma_Polyhedra_Library::GMP_Integer&, const Parma_Polyhedra_Library::GMP_Integer&)’: math_utilities.inlines.hh:71: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type math_utilities.inlines.hh:71: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ math_utilities.inlines.hh:71: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type math_utilities.inlines.hh:71: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ math_utilities.inlines.hh:71: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type math_utilities.inlines.hh:71: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ math_utilities.inlines.hh:71: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type math_utilities.inlines.hh:71: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:328: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:328: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:328: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:328: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:328: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:328: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:328: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:328: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ math_utilities.inlines.hh:72: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type math_utilities.inlines.hh:72: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ math_utilities.inlines.hh:72: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type math_utilities.inlines.hh:72: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ math_utilities.inlines.hh:72: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type math_utilities.inlines.hh:72: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ math_utilities.inlines.hh:72: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type math_utilities.inlines.hh:72: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh: In member function ‘bool Parma_Polyhedra_Library::Octagonal_Shape<T>::contains_integer_point() const’: Octagonal_Shape.templates.hh:870: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:870: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:870: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:870: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:870: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:870: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:870: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:870: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh: In member function ‘Parma_Polyhedra_Library::Poly_Con_Relation Parma_Polyhedra_Library::Octagonal_Shape<T>::relation_with(const Parma_Polyhedra_Library::Congruence&) const’: Octagonal_Shape.templates.hh:1192: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1192: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1192: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1192: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1192: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1192: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1192: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1192: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:328: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:328: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:328: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:328: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:328: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:328: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:328: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:328: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1193: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1193: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1193: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1193: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1193: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1193: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1193: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1193: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh: In member function ‘Parma_Polyhedra_Library::Poly_Con_Relation Parma_Polyhedra_Library::Octagonal_Shape<T>::relation_with(const Parma_Polyhedra_Library::Constraint&) const’: Octagonal_Shape.templates.hh:1380: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1380: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1380: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1380: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1380: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1380: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1380: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1380: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1381: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1381: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1381: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1381: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1381: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1381: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1381: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1381: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1382: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1382: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1382: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1382: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1382: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1382: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1382: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1382: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1394: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1394: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1394: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1394: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1394: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1394: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1394: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1394: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1395: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1395: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1395: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1395: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1395: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1395: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1395: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1395: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1409: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1409: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1409: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1409: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1409: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1409: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1409: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1409: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1410: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1410: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1410: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1410: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1410: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1410: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1410: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1410: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1415: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1415: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1415: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1415: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1415: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1415: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1415: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1415: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1416: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1416: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1416: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1416: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:1416: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1416: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:1416: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:1416: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh: In member function ‘void Parma_Polyhedra_Library::Octagonal_Shape<T>::deduce_v_pm_u_bounds(Parma_Polyhedra_Library::dimension_type, Parma_Polyhedra_Library::dimension_type, const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::GMP_Integer&, const Parma_Polyhedra_Library::Checked_Number<T, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>&)’: Octagonal_Shape.templates.hh:3041: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3041: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3041: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3041: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3041: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3041: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3041: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3041: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3088: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3088: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3088: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3088: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3088: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3088: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3088: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3088: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:356: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:356: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:356: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:356: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:356: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:356: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:356: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:356: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3089: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3089: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3089: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3089: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3089: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3089: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3089: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3089: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3092: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3092: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3092: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3092: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3092: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3092: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3092: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3092: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3127: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3127: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3127: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3127: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3127: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3127: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3127: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3127: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3128: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3128: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3128: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3128: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3128: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3128: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3128: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3128: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3131: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3131: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3131: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3131: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3131: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3131: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3131: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3131: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3132: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3132: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3132: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3132: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3132: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3132: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3132: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3132: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh: In member function ‘void Parma_Polyhedra_Library::Octagonal_Shape<T>::deduce_minus_v_pm_u_bounds(Parma_Polyhedra_Library::dimension_type, Parma_Polyhedra_Library::dimension_type, const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::GMP_Integer&, const Parma_Polyhedra_Library::Checked_Number<T, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>&)’: Octagonal_Shape.templates.hh:3160: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3160: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3160: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3160: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3160: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3160: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3160: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3160: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3206: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3206: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3206: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3206: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3206: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3206: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3206: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3206: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3207: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3207: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3207: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3207: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3207: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3207: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3207: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3207: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3210: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3210: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3210: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3210: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3210: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3210: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3210: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3210: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3245: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3245: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3245: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3245: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3245: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3245: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3245: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3245: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3246: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3246: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3246: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3246: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3246: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3246: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3246: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3246: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3249: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3249: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3249: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3249: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3249: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3249: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3249: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3249: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh: In member function ‘void Parma_Polyhedra_Library::Octagonal_Shape<T>::refine(Parma_Polyhedra_Library::Variable, Parma_Polyhedra_Library::Relation_Symbol, const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::GMP_Integer&)’: Octagonal_Shape.templates.hh:3599: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3599: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3599: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3599: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3599: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3599: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3599: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3599: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh: In member function ‘void Parma_Polyhedra_Library::Octagonal_Shape<T>::affine_image(Parma_Polyhedra_Library::Variable, const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::GMP_Integer&)’: Octagonal_Shape.templates.hh:3964: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3964: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3964: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3964: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:3964: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3964: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:3964: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:3964: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:4111: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:4111: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:4111: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:4111: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:4111: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:4111: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:4111: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:4111: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:4186: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:4186: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:4186: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:4186: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:4186: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:4186: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:4186: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:4186: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh: In member function ‘void Parma_Polyhedra_Library::Octagonal_Shape<T>::generalized_affine_image(Parma_Polyhedra_Library::Variable, Parma_Polyhedra_Library::Relation_Symbol, const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::GMP_Integer&)’: Octagonal_Shape.templates.hh:4497: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:4497: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:4497: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:4497: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:4497: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:4497: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:4497: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:4497: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh: In member function ‘void Parma_Polyhedra_Library::Octagonal_Shape<T>::bounded_affine_image(Parma_Polyhedra_Library::Variable, const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::GMP_Integer&)’: Octagonal_Shape.templates.hh:5166: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:5166: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:5166: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:5166: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:5166: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:5166: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:5166: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:5166: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:5260: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:5260: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:5260: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:5260: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:5260: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:5260: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:5260: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:5260: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:5317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:5317: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:5317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:5317: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Octagonal_Shape.templates.hh:5317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:5317: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Octagonal_Shape.templates.hh:5317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Octagonal_Shape.templates.hh:5317: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh: In member function ‘bool Parma_Polyhedra_Library::BD_Shape<T>::contains_integer_point() const’: BD_Shape.templates.hh:754: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:754: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:754: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:754: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:754: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:754: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:754: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:754: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Checked_Number.inlines.hh:332: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Checked_Number.inlines.hh:332: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh: In member function ‘Parma_Polyhedra_Library::Poly_Con_Relation Parma_Polyhedra_Library::BD_Shape<T>::relation_with(const Parma_Polyhedra_Library::Congruence&) const’: BD_Shape.templates.hh:1227: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1227: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1227: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1227: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1227: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1227: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1227: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1227: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1228: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1228: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1228: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1228: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1228: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1228: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1228: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1228: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh: In member function ‘Parma_Polyhedra_Library::Poly_Con_Relation Parma_Polyhedra_Library::BD_Shape<T>::relation_with(const Parma_Polyhedra_Library::Constraint&) const’: BD_Shape.templates.hh:1407: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1407: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1407: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1407: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1407: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1407: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1407: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1407: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1409: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1409: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1409: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1409: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1409: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1409: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1409: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1409: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1423: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1423: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1423: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1423: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1423: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1423: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1423: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1423: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1424: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1424: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1424: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1424: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1424: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1424: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1424: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1424: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1440: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1440: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1440: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1440: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1440: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1440: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1440: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1440: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1441: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1441: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1441: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1441: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1441: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1441: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1441: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1441: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1446: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1446: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1446: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1446: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1446: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1446: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1446: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1446: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1447: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1447: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1447: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1447: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:1447: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1447: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:1447: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:1447: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh: In member function ‘void Parma_Polyhedra_Library::BD_Shape<T>::deduce_v_minus_u_bounds(Parma_Polyhedra_Library::dimension_type, Parma_Polyhedra_Library::dimension_type, const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::GMP_Integer&, const Parma_Polyhedra_Library::Checked_Number<To, Parma_Polyhedra_Library::Extended_Number_Policy>&)’: BD_Shape.templates.hh:2503: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2503: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:2503: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2503: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:2503: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2503: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:2503: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2503: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:2529: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2529: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:2529: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2529: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:2529: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2529: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:2529: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2529: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh: In member function ‘void Parma_Polyhedra_Library::BD_Shape<T>::deduce_u_minus_v_bounds(Parma_Polyhedra_Library::dimension_type, Parma_Polyhedra_Library::dimension_type, const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::GMP_Integer&, const Parma_Polyhedra_Library::Checked_Number<To, Parma_Polyhedra_Library::Extended_Number_Policy>&)’: BD_Shape.templates.hh:2564: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2564: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:2564: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2564: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:2564: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2564: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:2564: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2564: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:2591: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2591: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:2591: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2591: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ BD_Shape.templates.hh:2591: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2591: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ BD_Shape.templates.hh:2591: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type BD_Shape.templates.hh:2591: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Box.templates.hh: In constructor ‘Parma_Polyhedra_Library::Box<Interval>::Box(const Parma_Polyhedra_Library::Octagonal_Shape<T>&, Parma_Polyhedra_Library::Complexity_Class)’: Box.templates.hh:305: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:305: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:305: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:305: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:305: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:305: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:305: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:305: error: trying to instantiate ‘template<class T, class Enable> struct Parma_Polyhedra_Library::Is_Singleton’ Box.templates.hh:305: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:305: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:305: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:305: error: trying to instantiate ‘template<class T, class Enable> struct Parma_Polyhedra_Library::Is_Singleton’ Box.templates.hh:305: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:305: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Box.templates.hh:305: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:305: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Box.templates.hh:305: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:305: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Box.templates.hh:305: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:305: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Box.templates.hh:316: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:316: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:316: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:316: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:316: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:316: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:316: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:316: error: trying to instantiate ‘template<class T, class Enable> struct Parma_Polyhedra_Library::Is_Singleton’ Box.templates.hh:316: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:316: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:316: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:316: error: trying to instantiate ‘template<class T, class Enable> struct Parma_Polyhedra_Library::Is_Singleton’ Box.templates.hh:316: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:316: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Box.templates.hh:316: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:316: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Box.templates.hh:316: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:316: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Box.templates.hh:316: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:316: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Box.templates.hh:317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:317: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:317: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:317: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:317: error: trying to instantiate ‘template<class T, class Enable> struct Parma_Polyhedra_Library::Is_Singleton’ Box.templates.hh:317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:317: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:317: error: trying to instantiate ‘template<class T, class Enable> struct Parma_Polyhedra_Library::Is_Singleton’ Box.templates.hh:317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:317: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Box.templates.hh:317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:317: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Box.templates.hh:317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:317: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Box.templates.hh:317: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:317: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Box.templates.hh: In function ‘Parma_Polyhedra_Library::Poly_Con_Relation Parma_Polyhedra_Library::interval_relation(const ITV&, Parma_Polyhedra_Library::Constraint::Type, const Parma_Polyhedra_Library::GMP_Integer&, const Parma_Polyhedra_Library::GMP_Integer&)’: Box.templates.hh:636: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:636: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:636: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:636: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:636: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:636: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:636: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:636: error: trying to instantiate ‘template<class T, class Enable> struct Parma_Polyhedra_Library::Is_Singleton’ Box.templates.hh:636: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:636: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:636: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:636: error: trying to instantiate ‘template<class T, class Enable> struct Parma_Polyhedra_Library::Is_Singleton’ Box.templates.hh:636: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:636: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Box.templates.hh:636: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:636: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Box.templates.hh:636: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:636: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Box.templates.hh:636: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:636: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Box.templates.hh: In member function ‘Parma_Polyhedra_Library::Poly_Con_Relation Parma_Polyhedra_Library::Box<Interval>::relation_with(const Parma_Polyhedra_Library::Congruence&) const’: Box.templates.hh:844: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:844: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:844: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:844: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:844: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:844: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:844: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:844: error: trying to instantiate ‘template<class T, class Enable> struct Parma_Polyhedra_Library::Is_Singleton’ Box.templates.hh:844: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:844: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:844: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:844: error: trying to instantiate ‘template<class T, class Enable> struct Parma_Polyhedra_Library::Is_Singleton’ Box.templates.hh:844: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:844: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Box.templates.hh:844: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:844: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Box.templates.hh:844: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:844: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Box.templates.hh:844: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:844: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Box.templates.hh: In member function ‘Parma_Polyhedra_Library::Poly_Con_Relation Parma_Polyhedra_Library::Box<Interval>::relation_with(const Parma_Polyhedra_Library::Constraint&) const’: Box.templates.hh:940: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:940: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:940: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:940: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:940: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:940: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:940: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:940: error: trying to instantiate ‘template<class T, class Enable> struct Parma_Polyhedra_Library::Is_Singleton’ Box.templates.hh:940: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:940: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Interval’ Box.templates.hh:940: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:940: error: trying to instantiate ‘template<class T, class Enable> struct Parma_Polyhedra_Library::Is_Singleton’ Box.templates.hh:940: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:940: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Box.templates.hh:940: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:940: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Checked’ Box.templates.hh:940: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:940: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ Box.templates.hh:940: error: ‘Parma_Polyhedra_Library::Bool<true>::<anonymous enum>’ is/uses anonymous type Box.templates.hh:940: error: trying to instantiate ‘template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked’ make[3]: *** [Box.lo] Error 1 make[2]: *** [all] Error 2 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 This problem doesn't occur with the ppl 0.9 release using the same stock Apple gcc 4.0.1 compiler. Jack

2 1

ppl/src OR_Matrix.defs.hh
by Roberto Bagnara 11 Aug '08

11 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-11 11:16:57 Modified files: src : OR_Matrix.defs.hh Log message: Work around a bug of GCC 4.0.x. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cv…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Roberto Bagnara 10 Aug '08

10 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-10 12:11:47 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_mli.m4 Log message: Started the adaptation required to produce the OCaml interface documentation using ocamldoc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0

ppl TODO
by Roberto Bagnara 09 Aug '08

09 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-09 22:52:06 Modified files: . : TODO Log message: Some items dealt with; others reconsidered. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.24…

1 0

ppl ./TODO doc/definitions.dox
by Roberto Bagnara 09 Aug '08

09 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-09 20:01:32 Modified files: . : TODO doc : definitions.dox Log message: Added a section on upward approximation to the library's documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.24… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl ./configure.ac tests/Makefile.am tests/Pol ...
by Roberto Bagnara 09 Aug '08

09 Aug '08

1 0

ppl/tests/Powerset
by Roberto Bagnara 09 Aug '08

09 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-09 19:17:22 ppl/tests/Powerset Update of /cvs/ppl/ppl/tests/Powerset In directory spartacus.cs.unipr.it:/tmp/cvs-serv3428/Powerset Log Message: Directory /cvs/ppl/ppl/tests/Powerset added to the repository

1 0

ppl ./configure.ac tests/Makefile.am tests/Gri ...
by Roberto Bagnara 09 Aug '08

09 Aug '08

1 0

ppl/tests/Partially_Reduced_Product
by Roberto Bagnara 09 Aug '08

09 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-09 19:00:29 ppl/tests/Partially_Reduced_Product Update of /cvs/ppl/ppl/tests/Partially_Reduced_Product In directory spartacus.cs.unipr.it:/tmp/cvs-serv2697/Partially_Reduced_Product Log Message: Directory /cvs/ppl/ppl/tests/Partially_Reduced_Product added to the repository

1 0