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 () |
Definition at line 46 of file SundanceUnaryMinus.hpp.
UnaryMinus::UnaryMinus | ( | const RCP< ScalarExpr > & | arg | ) |
construct with the argument
Definition at line 39 of file SundanceUnaryMinus.cpp.
virtual Sundance::UnaryMinus::~UnaryMinus | ( | ) | [inline, virtual] |
virtual dtor
Definition at line 54 of file SundanceUnaryMinus.hpp.
virtual RCP<ExprBase> Sundance::UnaryMinus::getRcp | ( | ) | [inline, virtual] |
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] |
Implements Sundance::ExprBase.
Definition at line 70 of file SundanceUnaryMinus.cpp.
References Sundance::UnaryExpr::arg(), and Sundance::Expr::toString().
XMLObject UnaryMinus::toXML | ( | ) | const [virtual] |
Implements Sundance::ExprBase.
Definition at line 78 of file SundanceUnaryMinus.cpp.
References Sundance::UnaryExpr::arg().