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

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.
 
ExpressionMulFactoryAddExpression (const Expression &e)
 Adds e to this factory.
 
ExpressionMulFactoryAdd (const ExpressionMul *ptr)
 Adds ExpressionMul pointed by ptr to this factory.
 
ExpressionMulFactoryoperator= (const ExpressionMul *ptr)
 Assigns a factory from a pointer to ExpressionMul.
 
ExpressionMulFactoryNegate ()
 Negates the expressions in factory.
 
Expression GetExpression ()
 Returns a symbolic expression.
 

Detailed Description

Factory class to help build ExpressionMul 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 496 of file symbolic_expression_cell.h.

Constructor & Destructor Documentation

◆ ExpressionMulFactory()

dlinear::drake::symbolic::ExpressionMulFactory::ExpressionMulFactory ( )
default

Default constructor.

It constructs.

Member Function Documentation

◆ Negate()

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.

Returns
*this.

◆ operator=()

ExpressionMulFactory & dlinear::drake::symbolic::ExpressionMulFactory::operator= ( const ExpressionMul * ptr)

Assigns a factory from a pointer to ExpressionMul.



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