cprover
|
#include <smt_terms.h>
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 |
Definition at line 234 of file smt_terms.h.
|
pure virtual |
Implemented in smt_term_to_string_convertert, and value_expr_from_smt_factoryt.
|
pure virtual |
Implemented in smt_term_to_string_convertert, and value_expr_from_smt_factoryt.
|
pure virtual |
Implemented in smt_term_to_string_convertert, and value_expr_from_smt_factoryt.
|
pure virtual |
Implemented in smt_term_to_string_convertert, and value_expr_from_smt_factoryt.
|
pure virtual |
Implemented in smt_term_to_string_convertert, and value_expr_from_smt_factoryt.
|
pure virtual |
Implemented in smt_term_to_string_convertert, and value_expr_from_smt_factoryt.