smats  0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
smats::ExpressionVisitor< T, Args > Class Template Referenceabstract
Inheritance diagram for smats::ExpressionVisitor< T, Args >:
smats::Visitor< Expression< T > >

Public Member Functions

void visit (const Expression< T > &e, Args... args) override
 

Private Member Functions

virtual void visit_constant (Expression< T > &e, Args... args)=0
 
virtual void visit_var (Expression< T > &e, Args... args)=0
 
virtual void visit_add (Expression< T > &e, Args... args)=0
 
virtual void visit_mul (Expression< T > &e, Args... args)=0
 
virtual void visit_div (Expression< T > &e, Args... args)=0
 
virtual void visit_log (Expression< T > &e, Args... args)=0
 
virtual void visit_abs (Expression< T > &e, Args... args)=0
 
virtual void visit_pow (Expression< T > &e, Args... args)=0
 

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