cprover
|
#include <smt_bit_vector_theory.h>
Static Public Member Functions | |
static const char * | identifier () |
static smt_sortt | return_sort (const smt_termt &lhs, const smt_termt &rhs) |
static void | validate (const smt_termt &lhs, const smt_termt &rhs) |
Definition at line 88 of file smt_bit_vector_theory.h.
|
static |
Definition at line 209 of file smt_bit_vector_theory.cpp.
|
static |
Definition at line 214 of file smt_bit_vector_theory.cpp.
Definition at line 221 of file smt_bit_vector_theory.cpp.