ExpressionMulFactory Class Reference

Factory class to help build ExpressionMul expressions. More...

#include </home/soonhokong/work/dreal4/third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression_cell.h>

Public Member Functions
	ExpressionMulFactory (const ExpressionMulFactory &)=default
ExpressionMulFactory &	operator= (const ExpressionMulFactory &)=default
	ExpressionMulFactory (ExpressionMulFactory &&)=default
ExpressionMulFactory &	operator= (ExpressionMulFactory &&)=default
	ExpressionMulFactory ()=default
	Default constructor. More...
	~ExpressionMulFactory ()=default
	Default destructor. More...
	ExpressionMulFactory (double constant, std::map< Expression, Expression > base_to_exponent_map)
	Constructs ExpressionMulFactory with constant and base_to_exponent_map. More...
	ExpressionMulFactory (const ExpressionMul *ptr)
	Constructs ExpressionMulFactory from ptr. More...
ExpressionMulFactory &	AddExpression (const Expression &e)
	Adds e to this factory. More...
ExpressionMulFactory &	Add (const ExpressionMul *ptr)
	Adds ExpressionMul pointed by ptr to this factory. More...
ExpressionMulFactory &	operator= (const ExpressionMul *ptr)
	Assigns a factory from a pointer to ExpressionMul. More...
ExpressionMulFactory &	Negate ()
	Negates the expressions in factory. More...
Expression	GetExpression ()
	Returns a symbolic expression. More...

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.

Constructor & Destructor Documentation

ExpressionMulFactory() [1/3]

ExpressionMulFactory ( )

default

Default constructor.

It constructs.

~ExpressionMulFactory()

~ExpressionMulFactory ( )

default

Default destructor.

ExpressionMulFactory() [2/3]

ExpressionMulFactory	(	double	constant,
		std::map< Expression, Expression >	base_to_exponent_map
	)

Constructs ExpressionMulFactory with constant and base_to_exponent_map.

ExpressionMulFactory() [3/3]

ExpressionMulFactory ( const ExpressionMul *  ptr )

explicit

Constructs ExpressionMulFactory from ptr.

Member Function Documentation

Add()

ExpressionMulFactory & Add

(

const ExpressionMul *

ptr

)

Adds ExpressionMul pointed by ptr to this factory.

AddExpression()

ExpressionMulFactory & AddExpression

(

const Expression &

e

)

Adds e to this factory.

GetExpression()

Expression GetExpression

(

)

Returns a symbolic expression.

Negate()

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 & operator=

(

const ExpressionMul *

ptr

)

Assigns a factory from a pointer to ExpressionMul.

---

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

• /home/soonhokong/work/dreal4/third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression_cell.h
• /home/soonhokong/work/dreal4/third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression_cell.cc