dlinear::GenericFormulaVisitor< Result, Args > Class Template Reference

Generic formula visitor implementing the visitor pattern. More...

#include <GenericFormulaVisitor.h>

Public Member Functions
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 Member Functions
	GenericFormulaVisitor (const Config &config, const std::string &class_name="GenericFormulaVisitor")
	Construct a new FormulaVisitor object with the given config.

Protected Attributes
const Config &	config_
	Configuration.
IterationStats	stats_
	Statistics.

Detailed Description

template<class Result, class... Args>
class dlinear::GenericFormulaVisitor< Result, Args >

Generic formula visitor implementing the visitor pattern.

It will iterate over the formula tree and call the appropriate method for each node.

Template Parameters

Result	return type of each visit method
Args	additional arguments to pass to each visit method

Definition at line 30 of file GenericFormulaVisitor.h.

Constructor & Destructor Documentation

GenericFormulaVisitor()

template<class Result , class... Args>

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

inlineexplicitprotected

Construct a new FormulaVisitor object with the given config.

Parameters

config	configuration
class_name	name of the subclass

Definition at line 43 of file GenericFormulaVisitor.h.

Member Function Documentation

config()

template<class Result , class... Args>

const Config & dlinear::GenericFormulaVisitor< Result, Args >::config ( ) const

inlinenodiscard

Get read-only access to the configuration of the FormulaVisitor.

Returns

configuration of the FormulaVisitor

Definition at line 35 of file GenericFormulaVisitor.h.

stats()

template<class Result , class... Args>

const IterationStats & dlinear::GenericFormulaVisitor< Result, Args >::stats ( ) const

inlinenodiscard

Get read-only access to the statistics of the FormulaVisitor.

Returns

statistics of the FormulaVisitor

Definition at line 33 of file GenericFormulaVisitor.h.

---

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

• dlinear/symbolic/GenericFormulaVisitor.h