cprover
smt2_convt::let_count_idt Struct Reference

#include <smt2_conv.h>

Collaboration diagram for smt2_convt::let_count_idt:
[legend]

Public Member Functions

 let_count_idt (std::size_t _count, const symbol_exprt &_let_symbol)
 

Public Attributes

std::size_t count
 
symbol_exprt let_symbol
 

Detailed Description

Definition at line 177 of file smt2_conv.h.

Constructor & Destructor Documentation

◆ let_count_idt()

smt2_convt::let_count_idt::let_count_idt ( std::size_t  _count,
const symbol_exprt _let_symbol 
)
inline

Definition at line 179 of file smt2_conv.h.

Member Data Documentation

◆ count

std::size_t smt2_convt::let_count_idt::count

Definition at line 184 of file smt2_conv.h.

Referenced by smt2_convt::collect_bindings().

◆ let_symbol

symbol_exprt smt2_convt::let_count_idt::let_symbol

Definition at line 185 of file smt2_conv.h.


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