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

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/10/10 18:05:40

Modified files:
	src            : ConSys.cc ConSys.inlines.hh GenSys.cc 
	                 GenSys.inlines.hh 

Log message:
	ConSys::num_inequalities(), ConSys::num_equalities(),
	GenSys::num_lines(), and GenSys::num_rays()
	are no longer inline.