Sundance::RearrangeLeftSumWithConstant Class Reference

Inheritance diagram for Sundance::RearrangeLeftSumWithConstant:

Sundance::SumTransformation Sundance::SymbolicTransformation Sundance::ObjectWithClassVerbosity< SymbolicTransformation > Playa::ObjectWithVerbosity

List of all members.

Public Member Functions

 RearrangeLeftSumWithConstant ()
virtual ~RearrangeLeftSumWithConstant ()
virtual bool doTransform (const RCP< ScalarExpr > &left, const RCP< ScalarExpr > &right, int sign, RCP< ScalarExpr > &rtn) const


Detailed Description

Rearrange a sum whose left operand is a sum including a constant such that constants are grouped on the left:

\[ (\alpha + s_1 u) + s_2 \beta \rightarrow (\alpha + s_2 \beta) + s_1 u \]

\[ (\alpha + s_1 u) + s_2 v \rightarrow \alpha + (s_1 u + s_2 v) \]

Definition at line 217 of file SundanceStdSumTransformations.hpp.


Constructor & Destructor Documentation

Sundance::RearrangeLeftSumWithConstant::RearrangeLeftSumWithConstant (  )  [inline]

Definition at line 221 of file SundanceStdSumTransformations.hpp.

virtual Sundance::RearrangeLeftSumWithConstant::~RearrangeLeftSumWithConstant (  )  [inline, virtual]

Definition at line 224 of file SundanceStdSumTransformations.hpp.


Member Function Documentation

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

Site Contact