|
|
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.