cprover
|
Go to the source code of this file.
Classes | |
class | smt_bit_vector_theoryt |
Macros | |
#define | SMT_BITVECTOR_THEORY_PREDICATE(the_identifier, the_name) |
#define SMT_BITVECTOR_THEORY_PREDICATE | ( | the_identifier, | |
the_name | |||
) |
Definition at line 11 of file smt_bit_vector_theory.h.