PrinterNonAmbiguousDot Struct Reference

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

#include <PrinterNonAmbiguousDot_private.h>

Public Member Functions
	INHERITS_FROM (PrinterBase)
Related Functions
(Note that these are not member functions.)
void	printer_anon_map_entry_deinit (PrinterNonAmbiguousDot_ptr self)
	The PrinterNonAmbiguousDot class private deinitializer.
void	printer_anon_map_entry_init (PrinterNonAmbiguousDot_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num)
	The PrinterNonAmbiguousDot class private initializer.
int	printer_anon_map_entry_print_node (PrinterBase_ptr self, node_ptr n, int priority)
	Virtual menthod that prints the given node.
PrinterNonAmbiguousDot_ptr	PrinterNonAmbiguousDot_create (NuSMVEnv_ptr env)
	The PrinterNonAmbiguousDot class constructor.
void	PrinterNonAmbiguousDot_destroy (PrinterNonAmbiguousDot_ptr self)
	The PrinterNonAmbiguousDot class destructor.

---

Detailed Description

Private and protected interface of class 'PrinterNonAmbiguousDot'.

Public interface of class 'PrinterNonAmbiguousDot'.

Author:

Michele Dorigatti This file can be included only by derived and friend classes

PrinterNonAmbiguousDot class definition derived from class PrinterBase

See also:

Base class PrinterBase

Author:

Michele Dorigatti

Todo:

: Missing description

Definition of the public accessor for class PrinterNonAmbiguousDot

---

Member Function Documentation

PrinterNonAmbiguousDot::INHERITS_FROM

(

PrinterBase

)

---

Friends And Related Function Documentation

void printer_anon_map_entry_deinit

(

PrinterNonAmbiguousDot_ptr

self

)

[related]

The PrinterNonAmbiguousDot class private deinitializer.

The PrinterNonAmbiguousDot class private deinitializer

See also:

PrinterNonAmbiguousDot_destroy

void printer_anon_map_entry_init	(	PrinterNonAmbiguousDot_ptr	self,
		const NuSMVEnv_ptr	env,
		const char *	name,
		int	low,
		size_t	num
	)			[related]

The PrinterNonAmbiguousDot class private initializer.

The PrinterNonAmbiguousDot class private initializer

See also:

PrinterNonAmbiguousDot_create

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

Virtual menthod that prints the given node.

PrinterNonAmbiguousDot_ptr PrinterNonAmbiguousDot_create

(

NuSMVEnv_ptr

env

)

[related]

The PrinterNonAmbiguousDot class constructor.

AutomaticStart

The PrinterNonAmbiguousDot class constructor

See also:

PrinterNonAmbiguousDot_destroy

void PrinterNonAmbiguousDot_destroy

(

PrinterNonAmbiguousDot_ptr

self

)

[related]

The PrinterNonAmbiguousDot class destructor.

The PrinterNonAmbiguousDot class destructor

See also:

PrinterNonAmbiguousDot_create

---

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

• NuSMV/code/nusmv/core/node/anonymizers/PrinterNonAmbiguousDot_private.h
• NuSMV/code/nusmv/core/node/anonymizers/PrinterNonAmbiguousDot.h