NuSMV/code/nusmv/core/trace/plugins/TraceXmlDumper_private.h File Reference

#include "nusmv/core/trace/pkg_traceInt.h"
#include "nusmv/core/trace/plugins/TracePlugin_private.h"
#include "nusmv/core/trace/plugins/TraceXmlDumper.h"

Go to the source code of this file.

Data Structures
struct	TraceXmlDumper
	The private header file for the TraceXmldumper class. More...
Typedefs
typedef struct XmlNodes_TAG *	XmlNodes_ptr
Functions
int	trace_xml_dumper_action (TracePlugin_ptr plugin)

---

Typedef Documentation

typedef struct XmlNodes_TAG* XmlNodes_ptr

---

Function Documentation

int trace_xml_dumper_action

(

TracePlugin_ptr

plugin

)