SubstValue Struct Reference

SubstValue a service structure used by SubstString. Ignore. More...

#include <ucmd.h>

Data Fields
union {
double   floating
int   integer
void *   pointer
const char *   string
}	assign
SubstValueType	type

---

Detailed Description

SubstValue a service structure used by SubstString. Ignore.

See also:

SubstString

---

Field Documentation

union { ... } SubstValue::assign

double SubstValue::floating

int SubstValue::integer

void* SubstValue::pointer

const char* SubstValue::string

SubstValueType SubstValue::type

---

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

• NuSMV/code/nusmv/core/utils/ucmd.h