cprover
Loading...
Searching...
No Matches
sort_based_literal_convertert Struct Reference
+ Inheritance diagram for sort_based_literal_convertert:
+ Collaboration diagram for sort_based_literal_convertert:

Public Member Functions

 sort_based_literal_convertert (const constant_exprt &input)
 
void visit (const smt_bool_sortt &) override
 
void visit (const smt_bit_vector_sortt &bit_vector_sort) override
 
void visit (const smt_array_sortt &array_sort) override
 
- Public Member Functions inherited from smt_sort_const_downcast_visitort

Public Attributes

const constant_exprtmember_input
 
std::optional< smt_termtresult
 

Detailed Description

Definition at line 299 of file convert_expr_to_smt.cpp.

Constructor & Destructor Documentation

◆ sort_based_literal_convertert()

sort_based_literal_convertert::sort_based_literal_convertert ( const constant_exprt & input)
inlineexplicit

Definition at line 304 of file convert_expr_to_smt.cpp.

Member Function Documentation

◆ visit() [1/3]

void sort_based_literal_convertert::visit ( const smt_array_sortt & array_sort)
inlineoverridevirtual

Implements smt_sort_const_downcast_visitort.

Definition at line 323 of file convert_expr_to_smt.cpp.

◆ visit() [2/3]

void sort_based_literal_convertert::visit ( const smt_bit_vector_sortt & bit_vector_sort)
inlineoverridevirtual

Implements smt_sort_const_downcast_visitort.

Definition at line 314 of file convert_expr_to_smt.cpp.

◆ visit() [3/3]

void sort_based_literal_convertert::visit ( const smt_bool_sortt & )
inlineoverridevirtual

Implements smt_sort_const_downcast_visitort.

Definition at line 309 of file convert_expr_to_smt.cpp.

Member Data Documentation

◆ member_input

const constant_exprt& sort_based_literal_convertert::member_input

Definition at line 301 of file convert_expr_to_smt.cpp.

◆ result

std::optional<smt_termt> sort_based_literal_convertert::result

Definition at line 302 of file convert_expr_to_smt.cpp.


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