pointer_equality_visitort Class Reference

Inheritance diagram for pointer_equality_visitort:

Collaboration diagram for pointer_equality_visitort:

Public Member Functions
void	visit_expr (exprt &expr)
void	transform ()
Public Member Functions inherited from expr_visitort
virtual	~expr_visitort ()
virtual void	operator() (exprt &)

Private Attributes
std::vector< exprt * >	equality_exprs_to_transform

Detailed Description

Definition at line 87 of file dfcc_pointer_equals.cpp.

Member Function Documentation

transform()

void pointer_equality_visitort::transform ( )

inline

Definition at line 110 of file dfcc_pointer_equals.cpp.

visit_expr()

void pointer_equality_visitort::visit_expr ( exprt &  expr )

inline

Definition at line 93 of file dfcc_pointer_equals.cpp.

Member Data Documentation

equality_exprs_to_transform

std::vector<exprt *> pointer_equality_visitort::equality_exprs_to_transform

private

Definition at line 90 of file dfcc_pointer_equals.cpp.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-instrument/contracts/dynamic-frames/dfcc_pointer_equals.cpp