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 \]](form_141.png)
![\[ u (\alpha v) \rightarrow \alpha (u v) \]](form_142.png)
Definition at line 325 of file SundanceStdProductTransformations.hpp.
Constructor & Destructor Documentation
Definition at line 329 of file SundanceStdProductTransformations.hpp.
| virtual Sundance::RearrangeRightProductWithConstant::~RearrangeRightProductWithConstant | ( | ) | [inline, virtual] |
Definition at line 332 of file SundanceStdProductTransformations.hpp.
Member Function Documentation
| bool RearrangeRightProductWithConstant::doTransform | ( | const RCP< ScalarExpr > & | left, |
| const RCP< ScalarExpr > & | right, | ||
| RCP< ScalarExpr > & | rtn | ||
| ) | const [virtual] |
Implements Sundance::ProductTransformation.
Definition at line 484 of file SundanceStdProductTransformations.cpp.
References Sundance::SymbolicTransformation::getScalar(), Sundance::Expr::handle(), Sundance::ScalarExpr::isConstant(), Sundance::ExprWithChildren::isConstant(), Sundance::BinaryExpr::left(), Sundance::BinaryExpr::leftScalar(), Playa::Out::println(), Sundance::BinaryExpr::right(), Sundance::BinaryExpr::rightScalar(), Sundance::Expr::toString(), and Playa::ObjectWithVerbosity::verb().