NormalizerBase Struct Reference

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

#include <NormalizerBase_private.h>

Public Member Functions
	INHERITS_FROM (NodeWalker)
Data Fields
node_ptr(*	normalize_node )(NormalizerBase_ptr self, node_ptr n)
Related Functions
(Note that these are not member functions.)
void	normalizer_base_deinit (NormalizerBase_ptr self)
	The NormalizerBase class private deinitializer.
void	normalizer_base_init (NormalizerBase_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num, boolean can_handle_null)
	The NormalizerBase class private initializer.
node_ptr	normalizer_base_throw_normalize_node (NormalizerBase_ptr self, node_ptr n)
	This method must be called by the virtual method print_node to recursively print sub nodes.
NormalizerBase_ptr	NormalizerBase_create (const NuSMVEnv_ptr env, const char *name, int low, size_t num)
	Creates and initializes a normalizer. To be usable, the normalizer will have to be registered to a MasterNormalizer.
VIRTUAL node_ptr	NormalizerBase_normalize_node (NormalizerBase_ptr self, node_ptr n)
	Prints the given node.

---

Detailed Description

Private and protected interface of class 'NormalizerBase'.

Public interface of class 'NormalizerBase'.

Author:

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

NormalizerBase class definition derived from class NodeWalker

See also:

Base class Object

Author:

Alessandro Mariotti

Todo:

: Missing description

Definition of the public accessor for class NormalizerBase

---

Member Function Documentation

NormalizerBase::INHERITS_FROM

(

NodeWalker

)

---

Friends And Related Function Documentation

void normalizer_base_deinit

(

NormalizerBase_ptr

self

)

[related]

The NormalizerBase class private deinitializer.

The NormalizerBase class private deinitializer

See also:

NormalizerBase_destroy

void normalizer_base_init	(	NormalizerBase_ptr	self,
		const NuSMVEnv_ptr	env,
		const char *	name,
		int	low,
		size_t	num,
		boolean	can_handle_null
	)			[related]

The NormalizerBase class private initializer.

The NormalizerBase class private initializer

See also:

NormalizerBase_create

node_ptr normalizer_base_throw_normalize_node	(	NormalizerBase_ptr	self,
		node_ptr	n
	)			[related]

This method must be called by the virtual method print_node to recursively print sub nodes.

NormalizerBase_ptr NormalizerBase_create	(	const NuSMVEnv_ptr	env,
		const char *	name,
		int	low,
		size_t	num
	)			[related]

Creates and initializes a normalizer. To be usable, the normalizer will have to be registered to a MasterNormalizer.

To each normalizer is associated a partition of consecutive indices over the symbols set. The lowest index of the partition is given through the parameter low, while num is the partition size. Name is used to easily identify normalizer instances.

This constructor is private, as this class is virtual

See also:

NormalizerBase_destroy

VIRTUAL node_ptr NormalizerBase_normalize_node	(	NormalizerBase_ptr	self,
		node_ptr	n
	)			[related]

Prints the given node.

AutomaticStart

This is virtual method. BEfore calling, please ensure the given node can be handled by self, by calling NormalizerBase_can_handle.

Note: This method will be never called by the user

See also:

NormalizerBase_can_handle

---

Field Documentation

node_ptr(* NormalizerBase::normalize_node)(NormalizerBase_ptr self, node_ptr n)

---

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

• NuSMV/code/nusmv/core/node/normalizers/NormalizerBase_private.h
• NuSMV/code/nusmv/core/node/normalizers/NormalizerBase.h