SubstString Struct Reference

SubstString is the structure passed to the function apply_string_macro_expansion. More...

#include <ucmd.h>

Data Fields

const char * format
const char * symbol
SubstValue value

Detailed Description

SubstString is the structure passed to the function apply_string_macro_expansion.

For your comfort you can use the SYMBOL_CREATE and SYMBOL_ASSIGN macros in order to easily fill all fields of this data structure

See also:
SYMBOL_CREATE, SYMBOL_ASSIGN, apply_string_macro_expansion

Field Documentation

const char* SubstString::format
const char* SubstString::symbol

The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1