HrcDumperAnonymizer Struct Reference

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

#include <HrcDumperAnonymizer_private.h>

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

See also:
Base class HrcDumperSmv
Author:
Michele Dorigatti
Todo:
: Missing description

Definition of the public accessor for class HrcDumperAnonymizer


Member Function Documentation

HrcDumperAnonymizer::INHERITS_FROM ( HrcDumperSmv   ) 

Friends And Related Function Documentation

void hrc_dumper_anonymizer_deinit ( HrcDumperAnonymizer_ptr  self  )  [related]

The HrcDumperAnonymizer class private deinitializer.

The HrcDumperAnonymizer class private deinitializer

See also:
HrcDumperAnonymizer_destroy
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

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

The HrcDumperAnonymizer class constructor.

AutomaticStart

The HrcDumperAnonymizer class constructor

See also:
HrcDumperAnonymizer_destroy
void HrcDumperAnonymizer_destroy ( HrcDumperAnonymizer_ptr  self  )  [related]

The HrcDumperAnonymizer class destructor.

The HrcDumperAnonymizer class destructor

See also:
HrcDumperAnonymizer_create

Field Documentation


The documentation for this struct was generated from the following files:
All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1