dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::drake::symbolic::ExpressionAddFactory Class Reference

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.
 
ExpressionAddFactoryAddExpression (const Expression &e)
 Adds e to this factory.
 
ExpressionAddFactoryAdd (const ExpressionAdd *ptr)
 Adds ExpressionAdd pointed by ptr to this factory.
 
ExpressionAddFactoryoperator= (const ExpressionAdd *ptr)
 Assigns a factory from a pointer to ExpressionAdd.
 
ExpressionAddFactoryNegate ()
 Negates the expressions in factory.
 
Expression GetExpression ()
 Returns a symbolic expression.
 

Detailed Description

Factory class to help build ExpressionAdd expressions.

Note
Once 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.

Member Function Documentation

◆ Negate()

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.

Returns
*this.

◆ operator=()

ExpressionAddFactory & dlinear::drake::symbolic::ExpressionAddFactory::operator= ( const ExpressionAdd * ptr)

Assigns a factory from a pointer to ExpressionAdd.



The documentation for this class was generated from the following file: