ExpressionAddFactory Class Reference

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

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

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

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.

Constructor & Destructor Documentation

ExpressionAddFactory() [1/3]

ExpressionAddFactory ( )

default

Default constructor.

~ExpressionAddFactory()

~ExpressionAddFactory ( )

default

Default destructor.

ExpressionAddFactory() [2/3]

ExpressionAddFactory	(	double	constant,
		std::map< Expression, double >	expr_to_coeff_map
	)

Constructs ExpressionAddFactory with constant and expr_to_coeff_map.

ExpressionAddFactory() [3/3]

ExpressionAddFactory ( const ExpressionAdd *  ptr )

explicit

Constructs ExpressionAddFactory from ptr.

Member Function Documentation

Add()

ExpressionAddFactory & Add

(

const ExpressionAdd *

ptr

)

Adds ExpressionAdd pointed by ptr to this factory.

AddExpression()

ExpressionAddFactory & AddExpression

(

const Expression &

e

)

Adds e to this factory.

GetExpression()

Expression GetExpression

(

)

Returns a symbolic expression.

Negate()

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

(

const ExpressionAdd *

ptr

)

Assigns a factory from a pointer to ExpressionAdd.

---

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