This base class provides all the methods expected to visit the underlying formula and return a modified version. More...

Inheritance diagram for dlinear::FormulaVisitor< Args >:

Protected Member Functions
	FormulaVisitor (const Config &config, const std::string &class_name="FormulaVisitor")
	Construct a new FormulaVisitor object with the given `config`.

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

Additional Inherited Members
Public Member Functions inherited from dlinear::GenericFormulaVisitor< Formula, Args... >
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.

Protected Attributes inherited from dlinear::GenericFormulaVisitor< Formula, Args... >
const Config &	config_
	Configuration.

IterationStats	stats_
	Statistics.

Detailed Description

template<class... Args>
class dlinear::FormulaVisitor< Args >

This base class provides all the methods expected to visit the underlying formula and return a modified version.

By default, the visitor returns the original formula, but it can be overridden by the derived classes.

Definition at line 29 of file FormulaVisitor.h.

Constructor & Destructor Documentation

template<class... Args>

dlinear::FormulaVisitor< Args >::FormulaVisitor	(	const Config &	config,
		const std::string &	class_name = "FormulaVisitor< Args >" )

inlineexplicitprotected

Construct a new FormulaVisitor object with the given config.

Parameters

config	configuration
class_name	name of the subclass

Definition at line 36 of file FormulaVisitor.h.

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