Sundance::SumTransformation Class Reference

Inheritance diagram for Sundance::SumTransformation:

List of all members.

Public Member Functions
	SumTransformation ()
virtual	~SumTransformation ()
virtual bool	doTransform (const RCP< ScalarExpr > &left, const RCP< ScalarExpr > &right, int sign, RCP< ScalarExpr > &rtn) const =0

---

Detailed Description

SumTransformation is a base class for any transformation which takes the two operands of a sum (left, right) and produces a new expression mathematically equivalent to the original sum. This will be used to effect simplification transformations on sum expressions.

Definition at line 52 of file SundanceSumTransformation.hpp.

---

Constructor & Destructor Documentation

SumTransformation::SumTransformation

(

)

Definition at line 41 of file SundanceSumTransformation.cpp.

virtual Sundance::SumTransformation::~SumTransformation

(

)

[inline, virtual]

Definition at line 59 of file SundanceSumTransformation.hpp.

---

Member Function Documentation

virtual bool Sundance::SumTransformation::doTransform	(	const RCP< ScalarExpr > &	left,
		const RCP< ScalarExpr > &	right,
		int	sign,
		RCP< ScalarExpr > &	rtn
	)			const [pure virtual]

Test whether the transform is applicable in this case, and if it is, apply it. The return value is true is the transformation was applied, otherwise false. Returns by non-const reference the transformed expression.

Implemented in Sundance::IdentifyPolynomialSum, Sundance::ReorderSum, Sundance::RemoveUnaryMinusFromSum, Sundance::RemoveZeroFromSum, Sundance::SumConstants, Sundance::MoveConstantsToLeftOfSum, Sundance::RearrangeRightSumWithConstant, Sundance::RearrangeLeftSumWithConstant, Sundance::SumIntegrals, and Sundance::SumTransformationSequence.