#include <c_defines.h>

Collaboration diagram for c_definest::definet:

Public Attributes
optionalt< std::vector< std::string > >	parameters

std::string	value

Detailed Description

Definition at line 26 of file c_defines.h.

Member Data Documentation

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

Definition at line 28 of file c_defines.h.

std::string c_definest::definet::value

Definition at line 29 of file c_defines.h.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/crangler/c_defines.h