NodeMgr Struct Reference

Definition of the public accessor for class NodeMgr. More...

#include <NodeMgr.h>

Related Functions
(Note that these are not member functions.)
node_ptr	NodeMgr_cons (NodeMgr_ptr self, node_ptr x, node_ptr y)
	Conses two nodes.
NodeMgr_ptr	NodeMgr_create (const NuSMVEnv_ptr env)
	The NodeMgr class constructor.
void	NodeMgr_destroy (NodeMgr_ptr self)
	The NodeMgr class destructor.
node_ptr	NodeMgr_find_atom (NodeMgr_ptr self, node_ptr node)
	Search the node hash for a given node.
node_ptr	NodeMgr_find_node (NodeMgr_ptr self, int type, node_ptr x, node_ptr y)
	Creates a new node.
void	NodeMgr_free_node (NodeMgr_ptr self, node_ptr node)
	Free a node of the node manager.
node_ptr	NodeMgr_new_lined_node (NodeMgr_ptr self, int type, node_ptr left, node_ptr right, int lineno)
	Creates a new node.
node_ptr	NodeMgr_new_node (NodeMgr_ptr self, int type, node_ptr left, node_ptr right)
	Creates a new node.
void	NodeMgr_self_check (NodeMgr_ptr self, boolean check_repeated)
void	NodeMgr_show_profile_stats (NodeMgr_ptr self, FILE *stream)
	Prints a summary of node resources usage.

---

Detailed Description

Definition of the public accessor for class NodeMgr.

---

Friends And Related Function Documentation

node_ptr NodeMgr_cons	(	NodeMgr_ptr	self,
		node_ptr	x,
		node_ptr	y
	)			[related]

Conses two nodes.

Conses two nodes. [AMa] I think that cons nodes must be removed from the system, replaced with ad-hoc lists or Pair/Triple

None

See also:

car cdr

NodeMgr_ptr NodeMgr_create

(

const NuSMVEnv_ptr

env

)

[related]

The NodeMgr class constructor.

AutomaticStart

The NodeMgr class constructor. The given environment must contain a valid instance of ErrorMgr registered with the ENV_ERROR_MANAGER key

See also:

NodeMgr_destroy

void NodeMgr_destroy

(

NodeMgr_ptr

self

)

[related]

The NodeMgr class destructor.

The NodeMgr class destructor

See also:

NodeMgr_create

node_ptr NodeMgr_find_atom	(	NodeMgr_ptr	self,
		node_ptr	node
	)			[related]

Search the node hash for a given node.

Search the node hash for a given node. If the node is not Nil, and the node is not stored in the hash, the new node is created, stored in the hash and then returned.

The node hash may change.

See also:

find_node

node_ptr NodeMgr_find_node	(	NodeMgr_ptr	self,
		int	type,
		node_ptr	x,
		node_ptr	y
	)			[related]

Creates a new node.

A new node of type type and left and right branch left and right respectively is created. The returned node is stored in the node hash.

The node hash is modified.

See also:

new_node

void NodeMgr_free_node	(	NodeMgr_ptr	self,
		node_ptr	node
	)			[related]

Free a node of the node manager.

Free a node of the node manager. The node is available for next node allocation.

None

node_ptr NodeMgr_new_lined_node	(	NodeMgr_ptr	self,
		int	type,
		node_ptr	left,
		node_ptr	right,
		int	lineno
	)			[related]

Creates a new node.

The same as new_node except the line number is explicitly proved. A new node of type type, with left and right branch left and right respectively and on the line number lineno is created. The returned node is not stored in the node hash.

None

See also:

new_node, find_node

node_ptr NodeMgr_new_node	(	NodeMgr_ptr	self,
		int	type,
		node_ptr	left,
		node_ptr	right
	)			[related]

Creates a new node.

A new node of type type and left and right branch left and right respectively is created. The returned node is not stored in the node hash.

None

See also:

find_node

void NodeMgr_self_check	(	NodeMgr_ptr	self,
		boolean	check_repeated
	)			[related]

Todo:

Missing synopsis

Todo:

Missing description

void NodeMgr_show_profile_stats	(	NodeMgr_ptr	self,
		FILE *	stream
	)			[related]

Prints a summary of node resources usage.

For debug and profiling purposes only

none

---

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

• NuSMV/code/nusmv/core/node/NodeMgr.h