Sundance::RearrangeRightSumWithConstant Class Reference
Public Member Functions | |
| RearrangeRightSumWithConstant () | |
| virtual | ~RearrangeRightSumWithConstant () |
| virtual bool | doTransform (const RCP< ScalarExpr > &left, const RCP< ScalarExpr > &right, int sign, RCP< ScalarExpr > &rtn) const |
Detailed Description
Rearrange a sum whose right operand is a sum including a constant such that constants are grouped on the left:
![\[ \alpha + s_1 (\beta + s_2 u) \rightarrow (\alpha + s_1 \beta) + s_1 s_2 u \]](form_151.png)
![\[ u + s_1 (\alpha + s_2 v) \rightarrow s_1 \alpha + (u + s_1 s_2 v) \]](form_152.png)
Definition at line 192 of file SundanceStdSumTransformations.hpp.
Constructor & Destructor Documentation
| Sundance::RearrangeRightSumWithConstant::RearrangeRightSumWithConstant | ( | ) | [inline] |
Definition at line 196 of file SundanceStdSumTransformations.hpp.
| virtual Sundance::RearrangeRightSumWithConstant::~RearrangeRightSumWithConstant | ( | ) | [inline, virtual] |
Definition at line 199 of file SundanceStdSumTransformations.hpp.
Member Function Documentation
| bool RearrangeRightSumWithConstant::doTransform | ( | const RCP< ScalarExpr > & | left, | |
| const RCP< ScalarExpr > & | right, | |||
| int | sign, | |||
| RCP< ScalarExpr > & | rtn | |||
| ) | const [virtual] |
Implements Sundance::SumTransformation.
Definition at line 519 of file SundanceStdSumTransformations.cpp.
References Sundance::SymbolicTransformation::chooseSign(), Sundance::SymbolicTransformation::getScalar(), Sundance::Expr::handle(), Sundance::ScalarExpr::isConstant(), Sundance::BinaryExpr::left(), Sundance::BinaryExpr::leftScalar(), Playa::Out::println(), rearrangeRightSumWithConstantTimer(), Sundance::BinaryExpr::right(), Sundance::BinaryExpr::rightScalar(), Sundance::BinaryExpr::sign(), Sundance::Expr::toString(), and Playa::ObjectWithVerbosity::verb().