Sundance::UnaryMinus Class Reference
Public Member Functions | |
| UnaryMinus (const RCP< ScalarExpr > &arg) | |
| construct with the argument | |
| virtual | ~UnaryMinus () |
| virtual dtor | |
| virtual std::ostream & | toText (std::ostream &os, bool paren) const |
| Write a simple text description suitable for output to a terminal. | |
| virtual XMLObject | toXML () const |
| Write in XML. | |
| virtual bool | isLinear () const |
| virtual bool | isLinearInTests () const |
| Indicate whether the expression is linear with respect to test functions. | |
| virtual bool | isLinearForm (const Expr &u) const |
| Indicate whether the expression is linear in the given functions. | |
| virtual bool | isQuadraticForm (const Expr &u) const |
| Indicate whether the expression is at most quadratic in the given functions. | |
| virtual Set< MultiSet< int > > | internalFindQ_W (int order, const EvalContext &context) const |
| virtual RCP< ExprBase > | getRcp () |
| Return a safely-created RefCountPtr to the base type. | |
Detailed Description
Definition at line 46 of file SundanceUnaryMinus.hpp.
Constructor & Destructor Documentation
| UnaryMinus::UnaryMinus | ( | const RCP< ScalarExpr > & | arg | ) |
| virtual Sundance::UnaryMinus::~UnaryMinus | ( | ) | [inline, virtual] |
Member Function Documentation
| virtual RCP<ExprBase> Sundance::UnaryMinus::getRcp | ( | ) | [inline, virtual] |
Return a safely-created RefCountPtr to the base type.
Implements Playa::Handleable< ExprBase >.
Definition at line 93 of file SundanceUnaryMinus.hpp.
| Set< MultiSet< int > > UnaryMinus::internalFindQ_W | ( | int | order, | |
| const EvalContext & | context | |||
| ) | const [virtual] |
Reimplemented from Sundance::ExprWithChildren.
Definition at line 43 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 64 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 76 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 70 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 83 of file SundanceUnaryMinus.hpp.
References Sundance::UnaryExpr::evaluatableArg(), and Sundance::ScalarExpr::isQuadraticForm().
| std::ostream & UnaryMinus::toText | ( | std::ostream & | os, | |
| bool | paren | |||
| ) | const [virtual] |
Write a simple text description suitable for output to a terminal.
Implements Sundance::ExprBase.
Definition at line 70 of file SundanceUnaryMinus.cpp.
References Sundance::UnaryExpr::arg(), and Sundance::Expr::toString().
| XMLObject UnaryMinus::toXML | ( | ) | const [virtual] |
Write in XML.
Implements Sundance::ExprBase.
Definition at line 78 of file SundanceUnaryMinus.cpp.
References Sundance::UnaryExpr::arg().