CBMC
Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
smt_bit_vector_theoryt::zero_extendt Struct Referencefinal

#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
 

Detailed Description

Definition at line 289 of file smt_bit_vector_theory.h.

Member Function Documentation

◆ identifier()

const char * smt_bit_vector_theoryt::zero_extendt::identifier ( )
static

Definition at line 735 of file smt_bit_vector_theory.cpp.

◆ indices()

std::vector< smt_indext > smt_bit_vector_theoryt::zero_extendt::indices ( ) const

Definition at line 748 of file smt_bit_vector_theory.cpp.

◆ return_sort()

smt_sortt smt_bit_vector_theoryt::zero_extendt::return_sort ( const smt_termt &  operand) const

Definition at line 740 of file smt_bit_vector_theory.cpp.

◆ validate()

void smt_bit_vector_theoryt::zero_extendt::validate ( const smt_termt &  operand)
static

Definition at line 753 of file smt_bit_vector_theory.cpp.

Member Data Documentation

◆ i

std::size_t smt_bit_vector_theoryt::zero_extendt::i

Definition at line 291 of file smt_bit_vector_theory.h.

The documentation for this struct was generated from the following files: