PPL-devel

Download

ppl-devel@bugseng.com

September 2003

1 participants
11 discussions

ppl/src Polyhedra_PowerSet.defs.hh Polyhedra_P ...
by Roberto Bagnara 01 Sep '03

01 Sep '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-09-01 10:02:14 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Log message: Methods Polyhedra_PowerSet<PH>::add_constraint() and Polyhedra_PowerSet<PH>::add_constraints() made lazy. Methods Polyhedra_PowerSet<PH>::add_constraint_and_minimize() and Polyhedra_PowerSet<PH>::add_constraints_and_minimize() added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0