dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::GenericExpressionVisitor< Result, Args > Class Template Referenceabstract

Generic expression visitor implementing the visitor pattern. More...

#include <GenericExpressionVisitor.h>

Public Member Functions

const IterationStatsstats () const
 Get read-only access to the statistics of the GenericExpressionVisitor.
 
const Configconfig () const
 Get read-only access to the configuration of the GenericExpressionVisitor.
 

Protected Attributes

const Configconfig_
 Configuration.
 
IterationStats stats_
 Statistics.
 

Detailed Description

template<typename Result, typename... Args>
class dlinear::GenericExpressionVisitor< Result, Args >

Generic expression visitor implementing the visitor pattern.

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

Template Parameters
Resultreturn type of each visit method
Argsadditional arguments to pass to each visit method

Definition at line 25 of file GenericExpressionVisitor.h.

Member Function Documentation

◆ config()

template<typename Result , typename... Args>
const Config & dlinear::GenericExpressionVisitor< Result, Args >::config ( ) const
inlinenodiscard

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

Returns
configuration of the GenericExpressionVisitor

Definition at line 30 of file GenericExpressionVisitor.h.

◆ stats()

template<typename Result , typename... Args>
const IterationStats & dlinear::GenericExpressionVisitor< Result, Args >::stats ( ) const
inlinenodiscard

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

Returns
statistics of the GenericExpressionVisitor

Definition at line 28 of file GenericExpressionVisitor.h.


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