cprover
Loading...
Searching...
No Matches
smt_term_const_downcast_visitort Class Referenceabstract

#include <smt_terms.h>

+ Inheritance diagram for smt_term_const_downcast_visitort:

Public Member Functions

virtual void visit (const smt_bool_literal_termt &)=0
 
virtual void visit (const smt_identifier_termt &)=0
 
virtual void visit (const smt_bit_vector_constant_termt &)=0
 
virtual void visit (const smt_function_application_termt &)=0
 
virtual void visit (const smt_forall_termt &)=0
 
virtual void visit (const smt_exists_termt &)=0
 

Detailed Description

Definition at line 234 of file smt_terms.h.

Member Function Documentation

◆ visit() [1/6]

virtual void smt_term_const_downcast_visitort::visit ( const smt_bit_vector_constant_termt & )
pure virtual

◆ visit() [2/6]

virtual void smt_term_const_downcast_visitort::visit ( const smt_bool_literal_termt & )
pure virtual

◆ visit() [3/6]

virtual void smt_term_const_downcast_visitort::visit ( const smt_exists_termt & )
pure virtual

◆ visit() [4/6]

virtual void smt_term_const_downcast_visitort::visit ( const smt_forall_termt & )
pure virtual

◆ visit() [5/6]

virtual void smt_term_const_downcast_visitort::visit ( const smt_function_application_termt & )
pure virtual

◆ visit() [6/6]

virtual void smt_term_const_downcast_visitort::visit ( const smt_identifier_termt & )
pure virtual

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