MasterNormalizer Struct Reference

Public interface of class 'MasterNormalizer'. More...

Related Functions
(Note that these are not member functions.)
node_ptr	master_normalizer_normalize_node (MasterNormalizer_ptr self, node_ptr n)
	Private interface of class 'MasterNormalizer', to be used by normalizers.
MasterNormalizer_ptr	MasterNormalizer_create (const NuSMVEnv_ptr env)
	The MasterNormalizer class constructor.
void	MasterNormalizer_insert_cache (MasterNormalizer_ptr self, node_ptr n, node_ptr find)
node_ptr	MasterNormalizer_lookup_cache (MasterNormalizer_ptr self, node_ptr n)
	Looks in the internal memoization cache for a match. Returns Nil if no memoized data has been found.
node_ptr	MasterNormalizer_normalize_node (MasterNormalizer_ptr self, node_ptr n)
	Traverses the tree, and returns a possibly new tree that is a normalized copy of the first. Use for constant-time comparison of two trees.

Detailed Description

Public interface of class 'MasterNormalizer'.

Definition of the public accessor for class MasterNormalizer

node_ptr master_normalizer_normalize_node	(	MasterNormalizer_ptr	self,
		node_ptr	n
	)			`[related]`

Private interface of class 'MasterNormalizer', to be used by normalizers.

Internal version of the method normalize_node, callable internally and by normalizers

MasterNormalizer_ptr MasterNormalizer_create ( const NuSMVEnv_ptr env ) [related]

The MasterNormalizer class constructor.

AutomaticStart

The MasterNormalizer class constructor

void MasterNormalizer_insert_cache	(	MasterNormalizer_ptr	self,
		node_ptr	n,
		node_ptr	find
	)			`[related]`

Inserts new data in the internal memoization cache.

node_ptr MasterNormalizer_lookup_cache	(	MasterNormalizer_ptr	self,
		node_ptr	n
	)			`[related]`

Looks in the internal memoization cache for a match. Returns Nil if no memoized data has been found.

Looks in the internal memoization cache for a match. Returns Nil if no memoized data has been found

node_ptr MasterNormalizer_normalize_node	(	MasterNormalizer_ptr	self,
		node_ptr	n
	)			`[related]`

Traverses the tree, and returns a possibly new tree that is a normalized copy of the first. Use for constant-time comparison of two trees.

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