dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
Factory class to help build ExpressionAdd expressions. More...
#include <symbolic_expression_cell.h>
Public Member Functions | |
ExpressionAddFactory ()=default | |
Default constructor. | |
~ExpressionAddFactory ()=default | |
Default destructor. | |
ExpressionAddFactory (const mpq_class &constant, const std::map< Expression, mpq_class > &expr_to_coeff_map) | |
Constructs ExpressionAddFactory with constant and expr_to_coeff_map . | |
ExpressionAddFactory (const ExpressionAdd *ptr) | |
Constructs ExpressionAddFactory from ptr . | |
ExpressionAddFactory & | AddExpression (const Expression &e) |
Adds e to this factory. | |
ExpressionAddFactory & | Add (const ExpressionAdd *ptr) |
Adds ExpressionAdd pointed by ptr to this factory. | |
ExpressionAddFactory & | operator= (const ExpressionAdd *ptr) |
Assigns a factory from a pointer to ExpressionAdd. | |
ExpressionAddFactory & | Negate () |
Negates the expressions in factory. | |
Expression | GetExpression () |
Returns a symbolic expression. | |
Factory class to help build ExpressionAdd 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 378 of file symbolic_expression_cell.h.
ExpressionAddFactory & dlinear::drake::symbolic::ExpressionAddFactory::Negate | ( | ) |
Negates the expressions in factory.
If it represents c0 + c1 * t1 + ... + * cn * tn, this method flips it into -c0 - c1 * t1 - ... - cn * tn.
ExpressionAddFactory & dlinear::drake::symbolic::ExpressionAddFactory::operator= | ( | const ExpressionAdd * | ptr | ) |
Assigns a factory from a pointer to ExpressionAdd.