Public Member Functions | |
RearrangeLeftSumWithConstant () | |
virtual | ~RearrangeLeftSumWithConstant () |
virtual bool | doTransform (const RCP< ScalarExpr > &left, const RCP< ScalarExpr > &right, int sign, RCP< ScalarExpr > &rtn) const |
Definition at line 217 of file SundanceStdSumTransformations.hpp.
Sundance::RearrangeLeftSumWithConstant::RearrangeLeftSumWithConstant | ( | ) | [inline] |
Definition at line 221 of file SundanceStdSumTransformations.hpp.
virtual Sundance::RearrangeLeftSumWithConstant::~RearrangeLeftSumWithConstant | ( | ) | [inline, virtual] |
Definition at line 224 of file SundanceStdSumTransformations.hpp.
bool RearrangeLeftSumWithConstant::doTransform | ( | const RCP< ScalarExpr > & | left, | |
const RCP< ScalarExpr > & | right, | |||
int | sign, | |||
RCP< ScalarExpr > & | rtn | |||
) | const [virtual] |
Implements Sundance::SumTransformation.
Definition at line 586 of file SundanceStdSumTransformations.cpp.
References Sundance::SymbolicTransformation::chooseSign(), Sundance::SymbolicTransformation::getScalar(), Sundance::Expr::handle(), Sundance::ScalarExpr::isConstant(), Sundance::ExprWithChildren::isConstant(), Sundance::BinaryExpr::left(), Sundance::BinaryExpr::leftScalar(), Playa::Out::println(), rearrangeLeftSumWithConstantTimer(), Sundance::BinaryExpr::right(), Sundance::BinaryExpr::rightScalar(), Sundance::BinaryExpr::sign(), Sundance::Expr::toString(), and Playa::ObjectWithVerbosity::verb().