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

#include <smt_sorts.h>

+ Inheritance diagram for smt_sort_const_downcast_visitort:

Public Member Functions

virtual void visit (const smt_bool_sortt &)=0
 
virtual void visit (const smt_bit_vector_sortt &)=0
 
virtual void visit (const smt_array_sortt &)=0
 

Detailed Description

Definition at line 100 of file smt_sorts.h.

Member Function Documentation

◆ visit() [1/3]

virtual void smt_sort_const_downcast_visitort::visit ( const smt_array_sortt & )
pure virtual

◆ visit() [2/3]

virtual void smt_sort_const_downcast_visitort::visit ( const smt_bit_vector_sortt & )
pure virtual

◆ visit() [3/3]

virtual void smt_sort_const_downcast_visitort::visit ( const smt_bool_sortt & )
pure virtual

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