Dec_Graph_t_ Struct Reference

#include <deco.h>

Collaboration diagram for Dec_Graph_t_:

[legend]

Data Fields
int	fConst
int	nLeaves
int	nSize
int	nCap
Dec_Node_t *	pNodes
Dec_Edge_t	eRoot

---

Detailed Description

Definition at line 66 of file deco.h.

---

Field Documentation

Dec_Edge_t Dec_Graph_t_::eRoot

Definition at line 73 of file deco.h.

int Dec_Graph_t_::fConst

Definition at line 68 of file deco.h.

int Dec_Graph_t_::nCap

Definition at line 71 of file deco.h.

int Dec_Graph_t_::nLeaves

Definition at line 69 of file deco.h.

int Dec_Graph_t_::nSize

Definition at line 70 of file deco.h.

Dec_Node_t * Dec_Graph_t_::pNodes

Definition at line 72 of file deco.h.

---

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

• src/aig/deco/deco.h
• src/opt/dec/dec.h