NodeAnonymizerDot Struct Reference

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

Public Member Functions
	INHERITS_FROM (NodeAnonymizerBase)
Related Functions
(Note that these are not member functions.)
void	node_anonymizer_dot_deinit (NodeAnonymizerDot_ptr self)
	The NodeAnonymizerDot class private deinitializer.
void	node_anonymizer_dot_init (NodeAnonymizerDot_ptr self, NuSMVEnv_ptr env, const char *default_prefix, size_t memoization_threshold)
	The NodeAnonymizerDot class private initializer.
boolean	node_anonymizer_dot_is_id (NodeAnonymizerBase_ptr self, node_ptr id)
	True if id is an id.
NodeAnonymizerDot_ptr	NodeAnonymizerDot_create (NuSMVEnv_ptr env, const char *default_prefix, size_t memoization_threshold)
	The NodeAnonymizerDot class constructor.
void	NodeAnonymizerDot_destroy (NodeAnonymizerDot_ptr self)
	The NodeAnonymizerDot class destructor.

Detailed Description

Private and protected interface of class 'NodeAnonymizerDot'.

Public interface of class 'NodeAnonymizerDot'.

Author:: Michele Dorigatti This file can be included only by derived and friend classes

NodeAnonymizerDot class definition derived from class NodeAnonymizerBase

Definition of the public accessor for class NodeAnonymizerDot

NodeAnonymizerDot::INHERITS_FROM ( NodeAnonymizerBase )

void node_anonymizer_dot_deinit ( NodeAnonymizerDot_ptr self ) [related]

The NodeAnonymizerDot class private deinitializer.

The NodeAnonymizerDot class private deinitializer

void node_anonymizer_dot_init	(	NodeAnonymizerDot_ptr	self,
		NuSMVEnv_ptr	env,
		const char *	default_prefix,
		size_t	memoization_threshold
	)			`[related]`

The NodeAnonymizerDot class private initializer.

The NodeAnonymizerDot class private initializer

boolean node_anonymizer_dot_is_id	(	NodeAnonymizerBase_ptr	self,
		node_ptr	id
	)			`[related]`

True if id is an id.

Here we assume that id is wellformed, we could add debug checks

NodeAnonymizerDot_ptr NodeAnonymizerDot_create	(	NuSMVEnv_ptr	env,
		const char *	default_prefix,
		size_t	memoization_threshold
	)			`[related]`

The NodeAnonymizerDot class constructor.

AutomaticStart

The NodeAnonymizerDot class constructor

void NodeAnonymizerDot_destroy ( NodeAnonymizerDot_ptr self ) [related]

The NodeAnonymizerDot class destructor.

The NodeAnonymizerDot class destructor

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