StreamTypeArg Union Reference

Definition of enumeration StreamType. More...

#include <MasterPrinter.h>

Data Fields
FILE *	file
struct {
void *   argument
StreamTypeFunction_ptr   func_ptr
}	function

---

Detailed Description

Definition of enumeration StreamType.

Values taken from this enum are used to set the stream type to be used by the MasterPrinter when producing a printing output

---

Field Documentation

void* StreamTypeArg::argument

FILE* StreamTypeArg::file

StreamTypeFunction_ptr StreamTypeArg::func_ptr

struct { ... } StreamTypeArg::function

---

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

• NuSMV/code/nusmv/core/node/printers/MasterPrinter.h