Public Member Functions | |
| UnaryMinus (const RCP< ScalarExpr > &arg) | |
| virtual | ~UnaryMinus () |
| virtual std::ostream & | toText (std::ostream &os, bool paren) const |
| virtual XMLObject | toXML () const |
| virtual bool | isLinear () const |
| virtual bool | isLinearInTests () const |
| virtual bool | isLinearForm (const Expr &u) const |
| virtual bool | isQuadraticForm (const Expr &u) const |
| virtual Set< MultiSet< int > > | internalFindQ_W (int order, const EvalContext &context) const |
| virtual RCP< ExprBase > | getRcp () |
Detailed Description
Definition at line 57 of file SundanceUnaryMinus.hpp.
Constructor & Destructor Documentation
| UnaryMinus::UnaryMinus | ( | const RCP< ScalarExpr > & | arg | ) |
construct with the argument
Definition at line 50 of file SundanceUnaryMinus.cpp.
| virtual Sundance::UnaryMinus::~UnaryMinus | ( | ) | [inline, virtual] |
virtual dtor
Definition at line 65 of file SundanceUnaryMinus.hpp.
Member Function Documentation
| virtual RCP<ExprBase> Sundance::UnaryMinus::getRcp | ( | ) | [inline, virtual] |
Implements Playa::Handleable< ExprBase >.
Definition at line 104 of file SundanceUnaryMinus.hpp.
| Set< MultiSet< int > > UnaryMinus::internalFindQ_W | ( | int | order, |
| const EvalContext & | context | ||
| ) | const [virtual] |
Reimplemented from Sundance::ExprWithChildren.
Definition at line 54 of file SundanceUnaryMinus.cpp.
References Sundance::UnaryExpr::evaluatableArg(), Sundance::EvaluatableExpr::findW(), Sundance::Set< Key, Compare >::put(), Sundance::EvalContext::setupVerbosity(), Sundance::Set< Key, Compare >::size(), SUNDANCE_MSG2, and Playa::ObjectWithVerbosity::verb().
| virtual bool Sundance::UnaryMinus::isLinear | ( | ) | const [inline, virtual] |
Reimplemented from Sundance::ExprWithChildren.
Definition at line 75 of file SundanceUnaryMinus.hpp.
| virtual bool Sundance::UnaryMinus::isLinearForm | ( | const Expr & | u | ) | const [inline, virtual] |
Indicate whether the expression is linear in the given functions
Reimplemented from Sundance::ScalarExpr.
Definition at line 87 of file SundanceUnaryMinus.hpp.
References Sundance::UnaryExpr::evaluatableArg(), and Sundance::ScalarExpr::isLinearForm().
| virtual bool Sundance::UnaryMinus::isLinearInTests | ( | ) | const [inline, virtual] |
Indicate whether the expression is linear with respect to test functions
Reimplemented from Sundance::ScalarExpr.
Definition at line 81 of file SundanceUnaryMinus.hpp.
References Sundance::UnaryExpr::evaluatableArg(), and Sundance::ScalarExpr::isLinearInTests().
| virtual bool Sundance::UnaryMinus::isQuadraticForm | ( | const Expr & | u | ) | const [inline, virtual] |
Indicate whether the expression is at most quadratic in the given functions
Reimplemented from Sundance::ScalarExpr.
Definition at line 94 of file SundanceUnaryMinus.hpp.
References Sundance::UnaryExpr::evaluatableArg(), and Sundance::ScalarExpr::isQuadraticForm().
| std::ostream & UnaryMinus::toText | ( | std::ostream & | os, |
| bool | paren | ||
| ) | const [virtual] |
Implements Sundance::ExprBase.
Definition at line 81 of file SundanceUnaryMinus.cpp.
References Sundance::UnaryExpr::arg(), and Sundance::Expr::toString().
| XMLObject UnaryMinus::toXML | ( | ) | const [virtual] |
Implements Sundance::ExprBase.
Definition at line 89 of file SundanceUnaryMinus.cpp.
References Sundance::UnaryExpr::arg().