const_expr_visitort Class Reference

#include <expr.h>

Public Member Functions

virtual ~const_expr_visitort ()
virtual void operator() (const exprt &)

Detailed Description

Definition at line 395 of file expr.h.

Constructor & Destructor Documentation

◆ ~const_expr_visitort()

virtual const_expr_visitort::~const_expr_visitort ( )

Definition at line 398 of file expr.h.

Member Function Documentation

◆ operator()()

virtual void const_expr_visitort::operator() ( const exprt )

Definition at line 399 of file expr.h.

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