Visitor class which converts a symbolic Formula into ibex::ExprCtr. More...

Public Member Functions
	IbexConverter ()=delete
	Delete the default constructor.

	IbexConverter (const std::vector< Variable > &variables)
	Constructs a converter from `variables`.

	IbexConverter (const Box &box)
	Constructs a converter from `box`.

	~IbexConverter ()
	Destructor. More...

const ibex::ExprCtr *	Convert (const Formula &f)
	Convert `f` into the corresponding IBEX data structure, ibex::ExprCtr*. More...

const ibex::Array< const ibex::ExprSymbol > &	variables () const

void	set_need_to_delete_variables (bool value)


	IbexConverter (const IbexConverter &)=delete
	Delete copy/move constructors and copy/move assign operations.

IbexConverter &	operator= (const IbexConverter &)=delete

	IbexConverter (IbexConverter &&)=delete

IbexConverter &	operator= (IbexConverter &&)=delete

Friends
const ibex::ExprCtr *	drake::symbolic::VisitFormula (IbexConverter *, const Formula &, const bool &)

const ibex::ExprNode *	drake::symbolic::VisitExpression (IbexConverter *, const Expression &)

Detailed Description

Visitor class which converts a symbolic Formula into ibex::ExprCtr.

Constructor & Destructor Documentation

~IbexConverter ( )

Destructor.

If need_to_delete_variables_ is set, delete ibex::ExprSymbol* in symbolic_var_to_ibex_var_.

const ExprCtr * Convert ( const Formula & f )

Convert f into the corresponding IBEX data structure, ibex::ExprCtr*.

Note: It is caller's responsibility to delete the return value.; So far, it is always the case that the returned value is used to construct an ibex::Function object. Simply deleting ibex::ExprCtr does not destruct the included ibex::ExprNode objects. However, ibex::Function's destructor does the job. As a result, we should not call ibex::cleanup function explicitly with the return value of this method.

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