Dag_Manager_t Struct Reference

DAG manager. More...

#include <dagInt.h>

Data Fields
Dag_DfsFunctions_t *	dag_DfsClean
int	dfsCode
lsList	gcList
int	hashFn [DAGMAX_WORDS]
int	stats [DAG_MAX_STAT]
st_table *	vTable

---

Detailed Description

DAG manager.

Holds the vertices of a dag:

• vTable, the vertices hash (maintains uniqueness);
• gcList, the free list (candidates for GC);
• dfsCode, initially 0 is the code of the current DFS;
• stats, for bookkeeping.

---

Field Documentation

Dag_DfsFunctions_t* Dag_Manager_t::dag_DfsClean

int Dag_Manager_t::dfsCode

lsList Dag_Manager_t::gcList

int Dag_Manager_t::hashFn[DAGMAX_WORDS]

int Dag_Manager_t::stats[DAG_MAX_STAT]

st_table* Dag_Manager_t::vTable

---

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

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