cprover
|
Public Member Functions | |
sort_based_literal_convertert (const constant_exprt &input) | |
void | visit (const smt_bool_sortt &) override |
void | visit (const smt_bit_vector_sortt &bit_vector_sort) override |
Public Attributes | |
const constant_exprt & | member_input |
optionalt< smt_termt > | result |
Definition at line 87 of file convert_expr_to_smt.cpp.
|
inlineexplicit |
Definition at line 92 of file convert_expr_to_smt.cpp.
|
inlineoverride |
Definition at line 102 of file convert_expr_to_smt.cpp.
|
inlineoverride |
Definition at line 97 of file convert_expr_to_smt.cpp.
const constant_exprt& sort_based_literal_convertert::member_input |
Definition at line 89 of file convert_expr_to_smt.cpp.
Definition at line 90 of file convert_expr_to_smt.cpp.