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_tablevTable

Detailed Description

DAG manager.

Holds the vertices of a dag:


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:
All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1