NormalizerCore Struct Reference

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

Public Member Functions
	INHERITS_FROM (NormalizerBase)
Related Functions
(Note that these are not member functions.)
void	normalizer_core_deinit (NormalizerCore_ptr self)
	The NormalizerCore class private deinitializer.
void	normalizer_core_init (NormalizerCore_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num)
	The NormalizerCore class private initializer.
node_ptr	normalizer_core_normalize_node (NormalizerBase_ptr self, node_ptr n)
	Virtual menthod that normalizes the given node (core nodes are handled here).
NormalizerCore_ptr	NormalizerCore_create (const NuSMVEnv_ptr env, const char *name)
	The NormalizerCore class constructor.

Detailed Description

Private and protected interface of class 'NormalizerCore'.

Public interface of class 'NormalizerCore'.

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

NormalizerCore class definition derived from class NormalizerBase

Definition of the public accessor for class NormalizerCore

NormalizerCore::INHERITS_FROM ( NormalizerBase )

void normalizer_core_deinit ( NormalizerCore_ptr self ) [related]

The NormalizerCore class private deinitializer.

The NormalizerCore class private deinitializer

The NormalizerCore class private initializer.

The NormalizerCore class private initializer

node_ptr normalizer_core_normalize_node	(	NormalizerBase_ptr	self,
		node_ptr	n
	)			`[related]`

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

NormalizerCore_ptr NormalizerCore_create	(	const NuSMVEnv_ptr	env,
		const char *	name
	)			`[related]`

The NormalizerCore class constructor.

AutomaticStart

The NormalizerCore class constructor

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