cprover
Public Member Functions | Public Attributes | Private Attributes | List of all members
find_qvar_visitort Class Reference
+ Inheritance diagram for find_qvar_visitort:
+ Collaboration diagram for find_qvar_visitort:

Public Member Functions

 find_qvar_visitort (const exprt &qvar)
 
void operator() (const exprt &expr) override
 
- Public Member Functions inherited from const_expr_visitort
virtual ~const_expr_visitort ()
 

Public Attributes

bool found
 

Private Attributes

const exprt & qvar_
 

Detailed Description

Definition at line 1565 of file string_refinement.cpp.

Constructor & Destructor Documentation

◆ find_qvar_visitort()

find_qvar_visitort::find_qvar_visitort ( const exprt &  qvar)
inlineexplicit

Definition at line 1573 of file string_refinement.cpp.

Member Function Documentation

◆ operator()()

void find_qvar_visitort::operator() ( const exprt &  expr)
inlineoverridevirtual

Reimplemented from const_expr_visitort.

Definition at line 1575 of file string_refinement.cpp.

Member Data Documentation

◆ found

bool find_qvar_visitort::found

Definition at line 1571 of file string_refinement.cpp.

◆ qvar_

const exprt& find_qvar_visitort::qvar_
private

Definition at line 1568 of file string_refinement.cpp.

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