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 \]](form_143.png)
![\[ (\alpha u)v \rightarrow \alpha (u v) \]](form_144.png)
Definition at line 350 of file SundanceStdProductTransformations.hpp.
Constructor & Destructor Documentation
Definition at line 354 of file SundanceStdProductTransformations.hpp.
| virtual Sundance::RearrangeLeftProductWithConstant::~RearrangeLeftProductWithConstant | ( | ) | [inline, virtual] |
Definition at line 357 of file SundanceStdProductTransformations.hpp.
Member Function Documentation
| bool RearrangeLeftProductWithConstant::doTransform | ( | const RCP< ScalarExpr > & | left, |
| const RCP< ScalarExpr > & | right, | ||
| RCP< ScalarExpr > & | rtn | ||
| ) | const [virtual] |
Implements Sundance::ProductTransformation.
Definition at line 547 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().