cprover
find_index_visitort Class Reference
Inheritance diagram for find_index_visitort:
[legend]
Collaboration diagram for find_index_visitort:
[legend]

Public Member Functions

 find_index_visitort (const exprt &str)
 
void operator() (const exprt &expr)
 
- Public Member Functions inherited from const_expr_visitort
virtual ~const_expr_visitort ()
 

Private Attributes

const exprtstr_
 

Detailed Description

Definition at line 798 of file string_refinement.cpp.

Constructor & Destructor Documentation

§ find_index_visitort()

find_index_visitort::find_index_visitort ( const exprt str)
inlineexplicit

Definition at line 804 of file string_refinement.cpp.

Member Function Documentation

§ operator()()

void find_index_visitort::operator() ( const exprt expr)
inlinevirtual

Reimplemented from const_expr_visitort.

Definition at line 806 of file string_refinement.cpp.

References index_exprt::array(), irept::id(), index_exprt::index(), and to_index_expr().

Member Data Documentation

§ str_

const exprt& find_index_visitort::str_
private

Definition at line 801 of file string_refinement.cpp.


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