CBMC
|
#include <smt_bit_vector_theory.h>
Public Member Functions | |
smt_sortt | return_sort (const smt_termt &operand) const |
std::vector< smt_indext > | indices () const |
Static Public Member Functions | |
static const char * | identifier () |
static void | validate (const smt_termt &operand) |
Public Attributes | |
std::size_t | i |
Definition at line 300 of file smt_bit_vector_theory.h.
Definition at line 764 of file smt_bit_vector_theory.cpp.
std::vector< smt_indext > smt_bit_vector_theoryt::sign_extendt::indices | ( | ) | const |
Definition at line 777 of file smt_bit_vector_theory.cpp.
Definition at line 769 of file smt_bit_vector_theory.cpp.
Definition at line 782 of file smt_bit_vector_theory.cpp.
std::size_t smt_bit_vector_theoryt::sign_extendt::i |
Definition at line 302 of file smt_bit_vector_theory.h.