PrinterSexpCore Struct Reference

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

Public Member Functions
	INHERITS_FROM (PrinterBase)
Related Functions
(Note that these are not member functions.)
void	printer_sexp_core_deinit (PrinterSexpCore_ptr self)
	The PrinterSexpCore class private deinitializer.
void	printer_sexp_core_init (PrinterSexpCore_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num)
	The PrinterSexpCore class private initializer.
int	printer_sexp_core_print_node (PrinterBase_ptr self, node_ptr n, int priority)
	Virtual menthod that prints the given node (core nodes are handled here).
PrinterSexpCore_ptr	PrinterSexpCore_create (const NuSMVEnv_ptr env, const char *name)
	The PrinterSexpCore class constructor.

Detailed Description

Private and protected interface of class 'PrinterSexpCore'.

Public interface of class 'PrinterSexpCore'.

Author:: Alessandro Mariotti This file can be included only by derived and friend classes

PrinterSexpCore class definition derived from class PrinterBase

Definition of the public accessor for class PrinterSexpCore

PrinterSexpCore::INHERITS_FROM ( PrinterBase )

void printer_sexp_core_deinit ( PrinterSexpCore_ptr self ) [related]

The PrinterSexpCore class private deinitializer.

The PrinterSexpCore class private deinitializer

The PrinterSexpCore class private initializer.

The PrinterSexpCore class private initializer

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

Virtual menthod that prints the given node (core nodes are handled here).

PrinterSexpCore_ptr PrinterSexpCore_create	(	const NuSMVEnv_ptr	env,
		const char *	name
	)			`[related]`

The PrinterSexpCore class constructor.

AutomaticStart

The PrinterSexpCore class constructor

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