[PPL-devel] Polyhedra/src ConSys.cc ConSys.inlines.hh