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)
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 674 of file string_refinement.cpp.

Constructor & Destructor Documentation

find_qvar_visitort()

find_qvar_visitort::find_qvar_visitort ( const exprt &  qvar )

inlineexplicit

Definition at line 682 of file string_refinement.cpp.

Member Function Documentation

operator()()

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

inlinevirtual

Reimplemented from const_expr_visitort.

Definition at line 684 of file string_refinement.cpp.

References found, and qvar_.

Member Data Documentation

found

bool find_qvar_visitort::found

Definition at line 680 of file string_refinement.cpp.

Referenced by find_qvar(), and operator()().

qvar_

const exprt& find_qvar_visitort::qvar_

private

Definition at line 677 of file string_refinement.cpp.

Referenced by operator()().

---

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

• solvers/refinement/string_refinement.cpp