HrcDumperDebug Struct Reference

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

#include <HrcDumperDebug_private.h>

Public Member Functions
	INHERITS_FROM (HrcDumper)
Related Functions
(Note that these are not member functions.)
void	hrc_dumper_debug_deinit (HrcDumperDebug_ptr self)
	The HrcDumperDebug class private deinitializer.
void	hrc_dumper_debug_init (HrcDumperDebug_ptr self, const NuSMVEnv_ptr env, FILE *fout)
	The HrcDumperDebug class private initializer.
HrcDumperDebug_ptr	HrcDumperDebug_create (const NuSMVEnv_ptr env, FILE *fout)
	The HrcDumperDebug class constructor.

---

Detailed Description

Private and protected interface of class 'HrcDumperDebug'.

Public interface of class 'HrcDumperDebug'.

Author:

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

HrcDumperDebug class definition derived from class HrcDumper

See also:

Base class HrcDumper

Author:

Roberto Cavada

Todo:

: Missing description

Definition of the public accessor for class HrcDumperDebug

---

Member Function Documentation

HrcDumperDebug::INHERITS_FROM

(

HrcDumper

)

---

Friends And Related Function Documentation

void hrc_dumper_debug_deinit

(

HrcDumperDebug_ptr

self

)

[related]

The HrcDumperDebug class private deinitializer.

The HrcDumperDebug class private deinitializer

See also:

HrcDumper_destroy

void hrc_dumper_debug_init	(	HrcDumperDebug_ptr	self,
		const NuSMVEnv_ptr	env,
		FILE *	fout
	)			[related]

The HrcDumperDebug class private initializer.

The HrcDumperDebug class private initializer

See also:

HrcDumperDebug_create

HrcDumperDebug_ptr HrcDumperDebug_create	(	const NuSMVEnv_ptr	env,
		FILE *	fout
	)			[related]

The HrcDumperDebug class constructor.

AutomaticStart

The HrcDumperDebug class constructor

See also:

HrcDumper_destroy

---

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

• NuSMV/code/nusmv/core/hrc/dumpers/HrcDumperDebug_private.h
• NuSMV/code/nusmv/core/hrc/dumpers/HrcDumperDebug.h