CBMC
Public Attributes | List of all members
c_definest::definet Struct Reference

#include <c_defines.h>

+ Collaboration diagram for c_definest::definet:

Public Attributes

std::optional< std::vector< std::string > > parameters
 
std::string value
 

Detailed Description

Definition at line 25 of file c_defines.h.

Member Data Documentation

◆ parameters

std::optional<std::vector<std::string> > c_definest::definet::parameters

Definition at line 27 of file c_defines.h.

◆ value

std::string c_definest::definet::value

Definition at line 28 of file c_defines.h.

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