[PPL-devel] Polyhedra/src Generator.defs.hh

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/10/10 17:51:42

Modified files:
	src            : Generator.defs.hh 

Log message:
	Make enum Type and accessor type() public.
	Make is_*() accessors internal.