NodeGraph Struct Reference

Public interface of class 'NodeGraph'. More...

#include <NodeGraph.h>

Related Functions
(Note that these are not member functions.)
void	NodeGraph_add_children (NodeGraph_ptr self, node_ptr var, const Set_t children)
	Creates edges from "var" node to the nodes listed in the set "children". If parent node (var node)is set on NULL, nodes from children set will have parent node. The parent will be node that contains NULL pointer. NodeGraph_get_parents will not return empty set for those nodes.
void	NodeGraph_clear_removed_nodes (NodeGraph_ptr self)
	Clears up all information about removed nodes.
NodeGraph_ptr	NodeGraph_create (void)
	The NodeGraph class constructor.
void	NodeGraph_destroy (NodeGraph_ptr self)
	The NodeGraph class destructor.
Set_t	NodeGraph_get_leaves (const NodeGraph_ptr self)
	Returns the nodes which have the given number of children, but those nodes that have been removed. Set must be freed by the caller.
Set_t	NodeGraph_get_parents (const NodeGraph_ptr self, node_ptr child)
	Returns all the parents of a given node.
boolean	NodeGraph_is_empty (const NodeGraph_ptr self)
	Returns true if the graph is empty, taking into account of all removed vertices.
void	NodeGraph_print (const NodeGraph_ptr self, MasterPrinter_ptr printer, FILE *out)
	Prints out the graph.
void	NodeGraph_remove_nodes (NodeGraph_ptr self, const Set_t nodes)

---

Detailed Description

Public interface of class 'NodeGraph'.

Author:

Roberto Cavada

Todo:

: Missing description

Definition of the public accessor for class NodeGraph

---

Friends And Related Function Documentation

void NodeGraph_add_children	(	NodeGraph_ptr	self,
		node_ptr	var,
		const Set_t	children
	)			[related]

Creates edges from "var" node to the nodes listed in the set "children". If parent node (var node)is set on NULL, nodes from children set will have parent node. The parent will be node that contains NULL pointer. NodeGraph_get_parents will not return empty set for those nodes.

void NodeGraph_clear_removed_nodes

(

NodeGraph_ptr

self

)

[related]

Clears up all information about removed nodes.

NodeGraph_ptr NodeGraph_create

(

void

)

[related]

The NodeGraph class constructor.

AutomaticStart

The NodeGraph class constructor

See also:

NodeGraph_destroy

void NodeGraph_destroy

(

NodeGraph_ptr

self

)

[related]

The NodeGraph class destructor.

The NodeGraph class destructor

See also:

NodeGraph_create

Set_t NodeGraph_get_leaves

(

const NodeGraph_ptr

self

)

[related]

Returns the nodes which have the given number of children, but those nodes that have been removed. Set must be freed by the caller.

Set_t NodeGraph_get_parents	(	const NodeGraph_ptr	self,
		node_ptr	child
	)			[related]

Returns all the parents of a given node.

Returns a set of all parents of a give node (add with NodeGraph_add_children and with child being among children). If a parent node has been marked as removed it is not returned.

The returned set has to be returned by caller.

boolean NodeGraph_is_empty

(

const NodeGraph_ptr

self

)

[related]

Returns true if the graph is empty, taking into account of all removed vertices.

void NodeGraph_print	(	const NodeGraph_ptr	self,
		MasterPrinter_ptr	printer,
		FILE *	out
	)			[related]

Prints out the graph.

void NodeGraph_remove_nodes	(	NodeGraph_ptr	self,
		const Set_t	nodes
	)			[related]

---

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

• NuSMV/code/nusmv/core/utils/NodeGraph.h