CBMC
Public Member Functions | Public Attributes | List of all members
letifyt::let_count_idt Struct Reference

#include <letify.h>

+ Collaboration diagram for letifyt::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 24 of file letify.h.

Constructor & Destructor Documentation

◆ let_count_idt()

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

Definition at line 26 of file letify.h.

Member Data Documentation

◆ count

std::size_t letifyt::let_count_idt::count

Definition at line 31 of file letify.h.

◆ let_symbol

symbol_exprt letifyt::let_count_idt::let_symbol

Definition at line 32 of file letify.h.

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