dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
Generic expression visitor implementing the visitor pattern. More...
#include <GenericExpressionVisitor.h>
Public Member Functions | |
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. | |
Protected Attributes | |
const Config & | config_ |
Configuration. | |
IterationStats | stats_ |
Statistics. | |
Generic expression visitor implementing the visitor pattern.
It will iterate over the expression tree and call the appropriate method for each node.
Result | return type of each visit method |
Args | additional arguments to pass to each visit method |
Definition at line 25 of file GenericExpressionVisitor.h.
|
inlinenodiscard |
Get read-only access to the configuration of the GenericExpressionVisitor.
Definition at line 30 of file GenericExpressionVisitor.h.
|
inlinenodiscard |
Get read-only access to the statistics of the GenericExpressionVisitor.
Definition at line 28 of file GenericExpressionVisitor.h.