Class to print expressions and formulas in prefix-form. More...

Public Member Functions
	PrefixPrinter (std::ostream &os)
	Constructs a PrefixPrinter with `os`. More...

	PrefixPrinter (const PrefixPrinter &)=delete

	PrefixPrinter (PrefixPrinter &&)=delete

PrefixPrinter &	operator= (const PrefixPrinter &)=delete

PrefixPrinter &	operator= (PrefixPrinter &&)=delete

	~PrefixPrinter ()
	Destroys this. It restores the original precision of the ostream.

std::ostream &	Print (const Expression &e)
	Prints the prefix form of the expression `e` to the ostream.

std::ostream &	Print (const Formula &f)
	Prints the prefix form of the formula `f` to the ostream.

Friends
std::ostream &	drake::symbolic::VisitExpression (PrefixPrinter *, const Expression &e)

std::ostream &	drake::symbolic::VisitFormula (PrefixPrinter *, const Formula &f)

Detailed Description

Class to print expressions and formulas in prefix-form.

Constructor & Destructor Documentation

PrefixPrinter ( std::ostream & os )

explicit

Constructs a PrefixPrinter with os.

It temporarily sets the precision of os to the maximum precision.

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