Private and protected interface of class 'PrinterWffCore'. More...
#include <PrinterWffCore_private.h>
Public Member Functions | |
| INHERITS_FROM (PrinterBase) | |
Related Functions | |
(Note that these are not member functions.) | |
| void | printer_wff_core_deinit (PrinterWffCore_ptr self) |
| The PrinterWffCore class private deinitializer. | |
| void | printer_wff_core_init (PrinterWffCore_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num) |
| The PrinterWffCore class private initializer. | |
| PrinterWffCore_ptr | PrinterWffCore_create (const NuSMVEnv_ptr env, const char *name) |
| The PrinterWffCore class constructor. | |
Private and protected interface of class 'PrinterWffCore'.
Public interface of class 'PrinterWffCore'.
PrinterWffCore class definition derived from class PrinterBase
Definition of the public accessor for class PrinterWffCore
| PrinterWffCore::INHERITS_FROM | ( | PrinterBase | ) |
| void printer_wff_core_deinit | ( | PrinterWffCore_ptr | self | ) | [related] |
The PrinterWffCore class private deinitializer.
The PrinterWffCore class private deinitializer
| void printer_wff_core_init | ( | PrinterWffCore_ptr | self, | |
| const NuSMVEnv_ptr | env, | |||
| const char * | name, | |||
| int | low, | |||
| size_t | num | |||
| ) | [related] |
The PrinterWffCore class private initializer.
The PrinterWffCore class private initializer
| PrinterWffCore_ptr PrinterWffCore_create | ( | const NuSMVEnv_ptr | env, | |
| const char * | name | |||
| ) | [related] |
The PrinterWffCore class constructor.
AutomaticStart
The PrinterWffCore class constructor
1.6.1
