Go to the source code of this file.
◆ SMT_BITVECTOR_THEORY_PREDICATE
#define SMT_BITVECTOR_THEORY_PREDICATE |
( |
|
the_identifier, |
|
|
|
the_name |
|
) |
| |
Value:
{ \
validate_bit_vector_predicate_arguments(left, right); \
} \
\
smt_sortt smt_bit_vector_theoryt::the_name##t::return_sort( \
{ \
} \
\
const char *smt_bit_vector_theoryt::the_name##t::identifier() \
{ \
return #the_identifier; \
} \
\
smt_bit_vector_theoryt::the_name##t> \
smt_bit_vector_theoryt::the_name{};
static bool validate(const string_refinementt::infot &info)
Definition at line 22 of file smt_bit_vector_theory.cpp.
◆ validate_bit_vector_predicate_arguments()
static void validate_bit_vector_predicate_arguments |
( |
const smt_termt & |
left, |
|
|
const smt_termt & |
right |
|
) |
| |
|
static |