Print expressions and formulas in prefix-form. More...

Inheritance diagram for dlinear::PrefixPrinter:

Public Member Functions
	PrefixPrinter (std::ostream &os, const Config &config=Config{})
	Constructs a new PrefixPrinter object with `os`.

	~PrefixPrinter () override
	Restore the original precision of the ostream.

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

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

Public Member Functions inherited from dlinear::GenericFormulaVisitor< std::ostream & >
const IterationStats &	stats () const
	Get read-only access to the statistics of the FormulaVisitor.

const Config &	config () const
	Get read-only access to the configuration of the FormulaVisitor.

Public Member Functions inherited from dlinear::GenericExpressionVisitor< std::ostream & >
const IterationStats &	stats () const
	Get read-only access to the statistics of the GenericExpressionVisitor.

const Config &	config () const
	Get read-only access to the configuration of the GenericExpressionVisitor.

Private Attributes
std::ostream &	os_
	Stream to print to.

const std::streamsize	old_precision_
	Original precision of the stream.

Additional Inherited Members
Protected Member Functions inherited from dlinear::GenericFormulaVisitor< std::ostream & >
	GenericFormulaVisitor (const Config &config, const std::string &class_name="GenericFormulaVisitor")
	Construct a new FormulaVisitor object with the given `config`.

Protected Attributes inherited from dlinear::GenericFormulaVisitor< std::ostream & >
const Config &	config_
	Configuration.

IterationStats	stats_
	Statistics.

Protected Attributes inherited from dlinear::GenericExpressionVisitor< std::ostream & >
const Config &	config_
	Configuration.

IterationStats	stats_
	Statistics.

Detailed Description

Print expressions and formulas in prefix-form.

It is mainly used for debugging purposes.

Definition at line 24 of file PrefixPrinter.h.

Constructor & Destructor Documentation

dlinear::PrefixPrinter::PrefixPrinter	(	std::ostream &	os,
		const Config &	config = Config{} )

explicit

Constructs a new PrefixPrinter object with os.

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

Parameters

os	stream to print to.

Definition at line 19 of file PrefixPrinter.cpp.

std::ostream & dlinear::PrefixPrinter::Print ( const Expression & e ) const

Print the prefix form of the expression e to the ostream.

Parameters

e	expression to print

Definition at line 27 of file PrefixPrinter.cpp.

std::ostream & dlinear::PrefixPrinter::Print ( const Formula & f ) const

Print the prefix form of the formula f to the ostream.

Parameters

f	formula to print

Definition at line 30 of file PrefixPrinter.cpp.

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