Sundance::RearrangeLeftProductWithConstant Class Reference

Inheritance diagram for Sundance::RearrangeLeftProductWithConstant:

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

List of all members.

Public Member Functions

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

Detailed Description

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

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

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

Definition at line 339 of file SundanceStdProductTransformations.hpp.

Constructor & Destructor Documentation

Sundance::RearrangeLeftProductWithConstant::RearrangeLeftProductWithConstant (  )  [inline]

Definition at line 343 of file SundanceStdProductTransformations.hpp.

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

Definition at line 346 of file SundanceStdProductTransformations.hpp.

Member Function Documentation

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

Site Contact