Sundance::RemoveUnaryMinusFromSum Class Reference

Inheritance diagram for Sundance::RemoveUnaryMinusFromSum:

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

List of all members.

Public Member Functions

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


Detailed Description

Simplify sums involving unary minuses

\[ x + (-y) \rightarrow x-y. \]

\[ (-x) + (-y) \rightarrow -(x+y). \]

\[ (-x) + y \rightarrow y-x. \]

Definition at line 106 of file SundanceStdSumTransformations.hpp.


Constructor & Destructor Documentation

Sundance::RemoveUnaryMinusFromSum::RemoveUnaryMinusFromSum (  )  [inline]

Definition at line 110 of file SundanceStdSumTransformations.hpp.

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

Definition at line 113 of file SundanceStdSumTransformations.hpp.


Member Function Documentation

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

Site Contact