CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri@cs.unipr.it 2006-04-27 12:23:23

Modified files: src : Octagon.templates.hh

Log message: Corrected the functions Octagon<T>::affine_image(), Octagon<T>::affine_preimage(), Octagon<T>::generalized_affine_image(const Variable var, const Relation_Symbol relsym, const Linear_Expression& expr , Coefficient_traits::const_reference denominator), Octagon<T>::generalized_affine_image(const Linear_Expression& lhs, const Relation_Symbol relsym, const Linear_Expression& rhs). Added the function Octagon<T>::generalized_affine_preimage().

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