cprover
smt2_convt::let_visitort Class Reference

#include <smt2_conv.h>

Inheritance diagram for smt2_convt::let_visitort:
[legend]
Collaboration diagram for smt2_convt::let_visitort:
[legend]

Public Member Functions

 let_visitort (const seen_expressionst &map)
 
void operator() (exprt &expr)
 
- Public Member Functions inherited from expr_visitort
virtual ~expr_visitort ()
 

Private Attributes

const seen_expressionstlet_map
 

Detailed Description

Definition at line 182 of file smt2_conv.h.

Constructor & Destructor Documentation

◆ let_visitort()

smt2_convt::let_visitort::let_visitort ( const seen_expressionst map)
inlineexplicit

Definition at line 187 of file smt2_conv.h.

Member Function Documentation

◆ operator()()

void smt2_convt::let_visitort::operator() ( exprt expr)
inlinevirtual

Reimplemented from expr_visitort.

Definition at line 189 of file smt2_conv.h.

References smt2_convt::LET_COUNT, and let_map.

Member Data Documentation

◆ let_map

const seen_expressionst& smt2_convt::let_visitort::let_map
private

Definition at line 184 of file smt2_conv.h.

Referenced by operator()().


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