HrcDumperAnonymizer Struct Reference

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

Public Member Functions
	INHERITS_FROM (HrcDumperSmv)
Data Fields
NodeAnonymizerBase_ptr	anonymizer
Related Functions
(Note that these are not member functions.)
void	hrc_dumper_anonymizer_deinit (HrcDumperAnonymizer_ptr self)
	The HrcDumperAnonymizer class private deinitializer.
void	hrc_dumper_anonymizer_init (HrcDumperAnonymizer_ptr self, const NuSMVEnv_ptr env, FILE *fout, NodeAnonymizerBase_ptr anonymizer)
	The HrcDumperAnonymizer class private initializer.
HrcDumperAnonymizer_ptr	HrcDumperAnonymizer_create (const NuSMVEnv_ptr env, FILE *fout, NodeAnonymizerBase_ptr anonymizer)
	The HrcDumperAnonymizer class constructor.
void	HrcDumperAnonymizer_destroy (HrcDumperAnonymizer_ptr self)
	The HrcDumperAnonymizer class destructor.

Detailed Description

Private and protected interface of class 'HrcDumperAnonymizer'.

Public interface of class 'HrcDumperAnonymizer'.

Author:: Michele Dorigatti This file can be included only by derived and friend classes

HrcDumperAnonymizer class definition derived from class HrcDumperSmv

Definition of the public accessor for class HrcDumperAnonymizer

HrcDumperAnonymizer::INHERITS_FROM ( HrcDumperSmv )

void hrc_dumper_anonymizer_deinit ( HrcDumperAnonymizer_ptr self ) [related]

The HrcDumperAnonymizer class private deinitializer.

The HrcDumperAnonymizer class private deinitializer

void hrc_dumper_anonymizer_init	(	HrcDumperAnonymizer_ptr	self,
		const NuSMVEnv_ptr	env,
		FILE *	fout,
		NodeAnonymizerBase_ptr	anonymizer
	)			`[related]`

The HrcDumperAnonymizer class private initializer.

The HrcDumperAnonymizer class private initializer

HrcDumperAnonymizer_ptr HrcDumperAnonymizer_create	(	const NuSMVEnv_ptr	env,
		FILE *	fout,
		NodeAnonymizerBase_ptr	anonymizer
	)			`[related]`

The HrcDumperAnonymizer class constructor.

AutomaticStart

The HrcDumperAnonymizer class constructor

void HrcDumperAnonymizer_destroy ( HrcDumperAnonymizer_ptr self ) [related]

The HrcDumperAnonymizer class destructor.

The HrcDumperAnonymizer class destructor

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