PrinterIWffCore Struct Reference

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

Public Member Functions
	INHERITS_FROM (PrinterWffCore)
Related Functions
(Note that these are not member functions.)
void	printer_iwff_core_deinit (PrinterIWffCore_ptr self)
	The PrinterIWffCore class private deinitializer.
void	printer_iwff_core_init (PrinterIWffCore_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num)
	The PrinterIWffCore class private initializer.
int	printer_iwff_core_print_node (PrinterBase_ptr self, node_ptr n, int priority)
	Virtual menthod that prints the given node (only indentantion capable nodes are handled here).
PrinterIWffCore_ptr	PrinterIWffCore_create (const NuSMVEnv_ptr env, const char *name)
	The PrinterIWffCore class constructor.

Detailed Description

Private and protected interface of class 'PrinterIWffCore'.

Public interface of class 'PrinterIWffCore'.

Author:: Marco Pensallorto This file can be included only by derived and friend classes

PrinterIWffCore class definition derived from class PrinterWffCore

Definition of the public accessor for class PrinterIWffCore

PrinterIWffCore::INHERITS_FROM ( PrinterWffCore )

void printer_iwff_core_deinit ( PrinterIWffCore_ptr self ) [related]

The PrinterIWffCore class private deinitializer.

The PrinterIWffCore class private deinitializer

The PrinterIWffCore class private initializer.

The PrinterIWffCore class private initializer

int printer_iwff_core_print_node	(	PrinterBase_ptr	self,
		node_ptr	n,
		int	priority
	)			`[related]`

Virtual menthod that prints the given node (only indentantion capable nodes are handled here).

PrinterIWffCore_ptr PrinterIWffCore_create	(	const NuSMVEnv_ptr	env,
		const char *	name
	)			`[related]`

The PrinterIWffCore class constructor.

AutomaticStart

The PrinterIWffCore class constructor

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