NormalizerPsl Struct Reference

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

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

Detailed Description

Private and protected interface of class 'NormalizerPsl'.

Public interface of class 'NormalizerPsl'.

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

NormalizerPsl class definition derived from class NormalizerBase

Definition of the public accessor for class NormalizerPsl

NormalizerPsl::INHERITS_FROM ( NormalizerBase )

void normalizer_psl_deinit ( NormalizerPsl_ptr self ) [related]

The NormalizerPsl class private deinitializer.

The NormalizerPsl class private deinitializer

The NormalizerPsl class private initializer.

The NormalizerPsl class private initializer

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

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

NormalizerPsl_ptr NormalizerPsl_create	(	const NuSMVEnv_ptr	env,
		const char *	name
	)			`[related]`

The NormalizerPsl class constructor.

AutomaticStart

The NormalizerPsl class constructor

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