cprover
|
#include <smt_sorts.h>
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 |
Definition at line 100 of file smt_sorts.h.
|
pure virtual |
Implemented in smt_sort_output_visitort, sort_based_cast_to_bit_vector_convertert, and sort_based_literal_convertert.
|
pure virtual |
Implemented in smt_sort_output_visitort, sort_based_cast_to_bit_vector_convertert, and sort_based_literal_convertert.
|
pure virtual |
Implemented in smt_sort_output_visitort, sort_based_cast_to_bit_vector_convertert, and sort_based_literal_convertert.