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. |
Private and protected interface of class 'HrcDumperAnonymizer'.
Public interface of class 'HrcDumperAnonymizer'.
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