CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2008-09-12 13:05:59

Modified files: src : Box.templates.hh

Log message: Old implementation for refine_no_check renamed propagate_constraint_no_check. Provided new implementation that just does a syntactic refinement. Avoid code repetitions by calling add_interval_constraint_no_check. When building a Box from a Polyhedron in polynomial time, use the method refine_with_constraints() applied to a simplified copy of the constraints of the polyhedron.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsr...