Sundance::RearrangeRightProductWithConstant Class Reference

Inheritance diagram for Sundance::RearrangeRightProductWithConstant:

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

List of all members.

Public Member Functions

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


Detailed Description

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

\[ \alpha (\beta u) \rightarrow (\alpha\beta) u \]

\[ u (\alpha v) \rightarrow \alpha (u v) \]

Definition at line 314 of file SundanceStdProductTransformations.hpp.


Constructor & Destructor Documentation

Sundance::RearrangeRightProductWithConstant::RearrangeRightProductWithConstant (  )  [inline]

Definition at line 318 of file SundanceStdProductTransformations.hpp.

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

Definition at line 321 of file SundanceStdProductTransformations.hpp.


Member Function Documentation

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

Site Contact