cprover
smt2_convt::let_count_idt Struct Reference

#include <smt2_conv.h>

+ Collaboration diagram for smt2_convt::let_count_idt:

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 183 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 185 of file smt2_conv.h.

Member Data Documentation

◆ count

std::size_t smt2_convt::let_count_idt::count

Definition at line 190 of file smt2_conv.h.

◆ let_symbol

symbol_exprt smt2_convt::let_count_idt::let_symbol

Definition at line 191 of file smt2_conv.h.


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