dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
Factory class to help build ExpressionMul expressions. More...
#include <symbolic_expression_cell.h>
Public Member Functions | |
ExpressionMulFactory ()=default | |
Default constructor. | |
~ExpressionMulFactory ()=default | |
Default destructor. | |
ExpressionMulFactory (const mpq_class &constant, const std::map< Expression, Expression > &base_to_exponent_map) | |
Constructs ExpressionMulFactory with constant and base_to_exponent_map . | |
ExpressionMulFactory (mpq_class &&constant, std::map< Expression, Expression > &&base_to_exponent_map) | |
Constructs ExpressionMulFactory with constant and base_to_exponent_map . | |
ExpressionMulFactory (const ExpressionMul *ptr) | |
Constructs ExpressionMulFactory from ptr . | |
ExpressionMulFactory & | AddExpression (const Expression &e) |
Adds e to this factory. | |
ExpressionMulFactory & | Add (const ExpressionMul *ptr) |
Adds ExpressionMul pointed by ptr to this factory. | |
ExpressionMulFactory & | operator= (const ExpressionMul *ptr) |
Assigns a factory from a pointer to ExpressionMul. | |
ExpressionMulFactory & | Negate () |
Negates the expressions in factory. | |
Expression | GetExpression () |
Returns a symbolic expression. | |
Factory class to help build ExpressionMul expressions.
GetExpression()
is called and an expression is generated, this class should not be used again. If another GetExpression()
is called, it will throws an exception. Definition at line 496 of file symbolic_expression_cell.h.
|
default |
Default constructor.
It constructs.
ExpressionMulFactory & dlinear::drake::symbolic::ExpressionMulFactory::Negate | ( | ) |
Negates the expressions in factory.
If it represents c0 * p1 * ... * pn, this method flips it into -c0 * p1 * ... * pn.
ExpressionMulFactory & dlinear::drake::symbolic::ExpressionMulFactory::operator= | ( | const ExpressionMul * | ptr | ) |
Assigns a factory from a pointer to ExpressionMul.