NodeAnonymizerST Struct Reference

NodeAnonymizerST class definition derived from class NodeAnonymizerDot. More...

#include <NodeAnonymizerST_private.h>

Public Member Functions
	INHERITS_FROM (NodeAnonymizerDot)
Data Fields
int	counters [NAST_COUNTERS_CARDINALITY]
SymbTable_ptr	symb_table
Related Functions
(Note that these are not member functions.)
const char *	node_anonymizer_st_build_anonymous (NodeAnonymizerBase_ptr self, node_ptr id, const char *prefix)
void	node_anonymizer_st_deinit (NodeAnonymizerST_ptr self)
	The NodeAnonymizerST class private deinitializer.
void	node_anonymizer_st_init (NodeAnonymizerST_ptr self, NuSMVEnv_ptr env, const char *default_prefix, size_t memoization_threshold, SymbTable_ptr symb_table)
	The NodeAnonymizerST class private initializer.
node_ptr	node_anonymizer_st_translate (NodeAnonymizerBase_ptr self, node_ptr id, const char *prefix)
	translate an id to a new, anonymous one. If id was already mapped, the returned id is just taken from there. Otherwise, it is computed, added to the map and finally returned to the caller
NodeAnonymizerST_ptr	NodeAnonymizerST_create (NuSMVEnv_ptr env, const char *default_prefix, size_t memoization_threshold, SymbTable_ptr symb_table)
	The NodeAnonymizerST class constructor.
void	NodeAnonymizerST_destroy (NodeAnonymizerST_ptr self)
	The NodeAnonymizerST class destructor.

Detailed Description

NodeAnonymizerST class definition derived from class NodeAnonymizerDot.

Public interface of class 'NodeAnonymizerST'.

counters Used for building unique ids WORD = 0, INTEGER = 1, ENUMERATIVE = 2, BOOLEAN = 3, CONSTANT = 4, DEFINE = 5, ARRAY=6, ARRAY_DEFINES=7, WORDARRAY=8, FUNCTION = 9, INTARRAY=10

See also:: Base class NodeAnonymizerDot

Author:: Michele Dorigatti

Todo:: : Missing description

Definition of the public accessor for class NodeAnonymizerST

Member Function Documentation

NodeAnonymizerST::INHERITS_FROM ( NodeAnonymizerDot )

Friends And Related Function Documentation

const char * node_anonymizer_st_build_anonymous	(	NodeAnonymizerBase_ptr	self,
		node_ptr	id,
		const char *	prefix
	)			`[related]`

Todo:: Missing synopsis

Todo:: Missing description

void node_anonymizer_st_deinit ( NodeAnonymizerST_ptr self ) [related]

The NodeAnonymizerST class private deinitializer.

The NodeAnonymizerST class private deinitializer

See also:: NodeAnonymizerST_destroy

void node_anonymizer_st_init	(	NodeAnonymizerST_ptr	self,
		NuSMVEnv_ptr	env,
		const char *	default_prefix,
		size_t	memoization_threshold,
		SymbTable_ptr	symb_table
	)			`[related]`

The NodeAnonymizerST class private initializer.

The NodeAnonymizerST class private initializer

See also:: NodeAnonymizerST_create

node_ptr node_anonymizer_st_translate	(	NodeAnonymizerBase_ptr	self,
		node_ptr	id,
		const char *	prefix
	)			`[related]`

translate an id to a new, anonymous one. If id was already mapped, the returned id is just taken from there. Otherwise, it is computed, added to the map and finally returned to the caller

Parameters:

	id	an identifier
	prefix	a prefix to be used instead of the default one

NodeAnonymizerST_ptr NodeAnonymizerST_create	(	NuSMVEnv_ptr	env,
		const char *	default_prefix,
		size_t	memoization_threshold,
		SymbTable_ptr	symb_table
	)			`[related]`