CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2007-11-28 15:15:17
Modified files: src : Box.cc Box.defs.hh Box.inlines.hh Box.templates.hh
Log message: Enabled the product of a Box and a Grid. To do this, for compatibility with the other classes, the following methods have been added: Box(Congruence_System cgs) add_constraint_and_minimize(Constraint c) add_constraints_and_minimize(Constraint_System cs) add_recycled_constraints(Constraint_System cs) add_recycled_constraints_and_minimize(Constraint_System& cs) add_congruence(Congruence cg) add_congruence_and_minimize(Congruence_System cgs) add_congruences(Congruence_System cgs) add_congruences_and_minimize(Congruence_System cgs) add_recycled_congruences(Congruence_System cgs) add_recycled_congruences_and_minimize(Congruence_System& cgs) widening_assign congruences() minimized_congruences() can_recycle_constraint_systems() can_recycle_congruence_systems() throw_dimension_incompatible(char* method, Congruence cg) throw_dimension_incompatible(char* method, Congruence_System cgs) Also private methods added: extract_interval_congruence(Congruence cg, ...) add_congruence_no_check(Congruence cg) add_congruences_no_check(Congruence_System cgs)
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.cc.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsr...