ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
dynamic_type_detail::numeric_bindingt Struct Reference

#include <literal_divergence.h>

Public Attributes

std::string kind
nlohmann::json value
bool in_block

Member Data Documentation

◆ in_block

bool dynamic_type_detail::numeric_bindingt::in_block

◆ kind

std::string dynamic_type_detail::numeric_bindingt::kind

◆ value

nlohmann::json dynamic_type_detail::numeric_bindingt::value

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