HrcDumperXml Struct Reference

Private and protected interface of class 'HrcDumperXml'. More...

#include <HrcDumperXml_private.h>

Public Member Functions
	INHERITS_FROM (HrcDumper)
Related Functions
(Note that these are not member functions.)
void	hrc_dumper_xml_deinit (HrcDumperXml_ptr self)
	The HrcDumperXml class private deinitializer.
void	hrc_dumper_xml_init (HrcDumperXml_ptr self, const NuSMVEnv_ptr env, FILE *fout)
	The HrcDumperXml class private initializer.
HrcDumperXml_ptr	HrcDumperXml_create (const NuSMVEnv_ptr env, FILE *fout)
	The HrcDumperXml class constructor.

---

Detailed Description

Private and protected interface of class 'HrcDumperXml'.

Public interface of class 'HrcDumperXml'.

Author:

Roberto Cavada This file can be included only by derived and friend classes

HrcDumperXml class definition derived from class HrcDumper

See also:

Base class HrcDumper

Author:

Roberto Cavada

Todo:

: Missing description

Definition of the public accessor for class HrcDumperXml

---

Member Function Documentation

HrcDumperXml::INHERITS_FROM

(

HrcDumper

)

---

Friends And Related Function Documentation

void hrc_dumper_xml_deinit

(

HrcDumperXml_ptr

self

)

[related]

The HrcDumperXml class private deinitializer.

The HrcDumperXml class private deinitializer

See also:

HrcDumper_destroy

void hrc_dumper_xml_init	(	HrcDumperXml_ptr	self,
		const NuSMVEnv_ptr	env,
		FILE *	fout
	)			[related]

The HrcDumperXml class private initializer.

The HrcDumperXml class private initializer

See also:

HrcDumperXml_create

HrcDumperXml_ptr HrcDumperXml_create	(	const NuSMVEnv_ptr	env,
		FILE *	fout
	)			[related]

The HrcDumperXml class constructor.

AutomaticStart

The HrcDumperXml class constructor

See also:

HrcDumper_destroy

---

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

• NuSMV/code/nusmv/core/hrc/dumpers/HrcDumperXml_private.h
• NuSMV/code/nusmv/core/hrc/dumpers/HrcDumperXml.h