NodeAnonymizerAtom Struct Reference

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

Public Member Functions
	INHERITS_FROM (NodeAnonymizerBase)
Related Functions
(Note that these are not member functions.)
void	node_anonymizer_atom_deinit (NodeAnonymizerAtom_ptr self)
	The NodeAnonymizerAtom class private deinitializer.
void	node_anonymizer_atom_init (NodeAnonymizerAtom_ptr self, NuSMVEnv_ptr env, const char *default_prefix, size_t memoization_threshold)
	The NodeAnonymizerAtom class private initializer.
boolean	node_anonymizer_atom_is_id (NodeAnonymizerBase_ptr self, node_ptr id)
	True if id is an id.
NodeAnonymizerAtom_ptr	NodeAnonymizerAtom_create (NuSMVEnv_ptr env, const char *default_prefix, size_t memoization_threshold)
	The NodeAnonymizerAtom class constructor.
void	NodeAnonymizerAtom_destroy (NodeAnonymizerAtom_ptr self)
	The NodeAnonymizerAtom class destructor.

Detailed Description

Private and protected interface of class 'NodeAnonymizerAtom'.

Public interface of class 'NodeAnonymizerAtom'.

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

NodeAnonymizerAtom class definition derived from class NodeAnonymizerBase

Definition of the public accessor for class NodeAnonymizerAtom

NodeAnonymizerAtom::INHERITS_FROM ( NodeAnonymizerBase )

void node_anonymizer_atom_deinit ( NodeAnonymizerAtom_ptr self ) [related]

The NodeAnonymizerAtom class private deinitializer.

The NodeAnonymizerAtom class private deinitializer

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

The NodeAnonymizerAtom class private initializer.

The NodeAnonymizerAtom class private initializer

boolean node_anonymizer_atom_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

NodeAnonymizerAtom_ptr NodeAnonymizerAtom_create	(	NuSMVEnv_ptr	env,
		const char *	default_prefix,
		size_t	memoization_threshold
	)			`[related]`

The NodeAnonymizerAtom class constructor.

AutomaticStart

The NodeAnonymizerAtom class constructor

void NodeAnonymizerAtom_destroy ( NodeAnonymizerAtom_ptr self ) [related]

The NodeAnonymizerAtom class destructor.

The NodeAnonymizerAtom class destructor

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