[PPL-devel] ppl/src PolyBase.cc

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	strict
Changes by:	zaffanella at cs.unipr.it	2002-03-18 11:43:18

Modified files:
	src            : PolyBase.cc 

Log message:
	Adding topology-compatibility checks where needed, throwing exceptions
	if necessary.
	Consistently using the methods [ConSys/GenSys]::adjust_topology_and_dimension
	when building a new polyhedron (or augmenting an existing one) starting
	from a ConSys or a GenSys.
	When building an NNC polyhedron using the constructor PolyBase(GenSys&),
	we now add a closure point for each point in the GenSys.
	Patched the specification of convex_difference_assign() to work correctly
	for NNC polyhedra.
	Patched the methods add_dimensions_and_* and remove*_dimensions()
	to work correctly for NNC polyhedra.
	Added a few "placeholder" exceptions to point out places where
	the current implementation is still not correct.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=ppl&only_with_tag=strict&r1=1.1.2.4&r2=1.1.2.5