Private and protected interface of class 'PrinterPsl'. More...
#include <PrinterPsl_private.h>
Public Member Functions | |
| INHERITS_FROM (PrinterBase) | |
Related Functions | |
(Note that these are not member functions.) | |
| void | printer_psl_deinit (PrinterPsl_ptr self) |
| The PrinterPsl class private deinitializer. | |
| void | printer_psl_init (PrinterPsl_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num) |
| The PrinterPsl class private initializer. | |
| int | printer_psl_print_node (PrinterBase_ptr self, node_ptr n, int priority) |
| Virtual menthod that prints the given node (core nodes are handled here). | |
| PrinterPsl_ptr | PrinterPsl_create (const NuSMVEnv_ptr env, const char *name) |
| The PrinterPsl class constructor. | |
Private and protected interface of class 'PrinterPsl'.
Public interface of class 'PrinterPsl'.
PrinterPsl class definition derived from class PrinterBase
Definition of the public accessor for class PrinterPsl
| PrinterPsl::INHERITS_FROM | ( | PrinterBase | ) |
| void printer_psl_deinit | ( | PrinterPsl_ptr | self | ) | [related] |
The PrinterPsl class private deinitializer.
The PrinterPsl class private deinitializer
| void printer_psl_init | ( | PrinterPsl_ptr | self, | |
| const NuSMVEnv_ptr | env, | |||
| const char * | name, | |||
| int | low, | |||
| size_t | num | |||
| ) | [related] |
The PrinterPsl class private initializer.
The PrinterPsl class private initializer
| int printer_psl_print_node | ( | PrinterBase_ptr | self, | |
| node_ptr | n, | |||
| int | priority | |||
| ) | [related] |
Virtual menthod that prints the given node (core nodes are handled here).
| PrinterPsl_ptr PrinterPsl_create | ( | const NuSMVEnv_ptr | env, | |
| const char * | name | |||
| ) | [related] |
The PrinterPsl class constructor.
AutomaticStart
The PrinterPsl class constructor
1.6.1
