Dag_Vertex_t Struct Reference

DAG vertex. More...

#include <dag.h>

Data Fields
Dag_Manager_t *	dag
char *	data
char *	gRef
int	iRef
int	mark
unsigned	numSons
Dag_Vertex_t **	outList
int	symbol
lsHandle	vHandle
int	visit

---

Detailed Description

DAG vertex.

The main fields (used for hashing) are:

• symbol, an integer code
• data, a generic pointer (vertex annotation)
• outList, a list of sons ((lsList)NULL for leafs)

Some fields are for internal purposes:

• dag, a reference to the dag manager that owns the node
• mark, how many fathers (for garbage collection)
• visit, how many visits (for DFS)
• vBro, the vertex brother (a fatherless brother is rescued from GC by its non-orphan one)
• vHandle, back-reference to the free list

The fields above should never be modified directly, unless it is clear how they work! General purpose fields are:

• gRef, a generic char pointer
• iRef, a generic integer value

The dag manager makes no assumptions about the latter fields and no efforts to ensure their integrity.

---

Field Documentation

Dag_Manager_t* Dag_Vertex_t::dag

char* Dag_Vertex_t::data

char* Dag_Vertex_t::gRef

int Dag_Vertex_t::iRef

int Dag_Vertex_t::mark

unsigned Dag_Vertex_t::numSons

Dag_Vertex_t* * Dag_Vertex_t::outList

int Dag_Vertex_t::symbol

lsHandle Dag_Vertex_t::vHandle

int Dag_Vertex_t::visit

---

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

• NuSMV/code/nusmv/core/dag/dag.h